Change `System_Clock' to `OS_process_clock', scaling in milliseconds

instead of centiseconds.

diff --git a/v7/src/microcode/default.h b/v7/src/microcode/default.h
index c3a61b3f585049989e525d8702c80cb72c23ddda..efdd1f9b7e86f5e6da2153ad1b41ab50f288167c 100644 (file)
--- a/v7/src/microcode/default.h
+++ b/v7/src/microcode/default.h
@@ -30,7 +30,7 @@ Technology nor of any adaptation thereof in any advertising,
 promotional, or sales literature without prior written consent from
 MIT in each case. */
 
-/* $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/Attic/default.h,v 9.27 1987/07/07 20:01:19 cph Rel $
+/* $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/Attic/default.h,v 9.28 1987/12/13 21:23:53 cph Rel $
  *
  * This file contains default definitions for some hooks which 
  * various machines require.  These machines define these hooks
@@ -151,7 +151,7 @@ do                                                                  \
 #endif
 
 #ifndef Sys_Clock
-#define Sys_Clock()    System_Clock()
+#define Sys_Clock() ((OS_process_clock ()) * 10)
 #endif
 \f
 /* Used in debug.c */

diff --git a/v7/src/microcode/extern.h b/v7/src/microcode/extern.h
index 7865417fe6776a51ef03fe215c75ddca56594519..a22fed956dc76d861caf49b811d6e55d3f3d6819 100644 (file)
--- a/v7/src/microcode/extern.h
+++ b/v7/src/microcode/extern.h
@@ -30,7 +30,7 @@ Technology nor of any adaptation thereof in any advertising,
 promotional, or sales literature without prior written consent from
 MIT in each case. */
 
-/* $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/extern.h,v 9.28 1987/11/17 08:09:39 jinx Exp $
+/* $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/extern.h,v 9.29 1987/12/13 21:23:29 cph Rel $
  *
  * External declarations.
  *
@@ -162,7 +162,7 @@ extern Pointer C_Integer_To_Scheme_Integer(), Allocate_Float(),
 
 extern int Parse_Option();
 extern Boolean Restore_History();
-extern long NColumns(), NLines(), System_Clock();
+extern long NColumns(), NLines(), OS_process_clock ();
 extern void OS_Flush_Output_Buffer(), OS_Re_Init();
 
 /* Memory management utilities */