*** arch/i386/i386/machdep.c-	Mon Nov  3 12:59:04 1997
--- arch/i386/i386/machdep.c	Thu Dec  4 19:04:20 1997
***************
*** 785,790 ****
--- 785,791 ----
  
  		waittime = 0;
  		vfs_shutdown();
+ #ifndef REES
  		/*
  		 * If we've been adjusting the clock, the todr
  		 * will be out of synch; adjust it now.
***************
*** 794,799 ****
--- 795,801 ----
  		} else {
  			printf("WARNING: not updating battery clock\n");
  		}
+ #endif
  	}
  
  	/* Disable interrupts. */