Remove version number from `UCODE_TABLES_FILENAME', to simplify

distribution.  This may cause synchronization problems later!

diff --git a/v7/src/microcode/version.h b/v7/src/microcode/version.h
index bc19620f5dea0875504dbfad83d5a13b885ed7d9..7daed7023179d5185a8d5b3d6a13ed9e8b607bbd 100644 (file)
--- a/v7/src/microcode/version.h
+++ b/v7/src/microcode/version.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/version.h,v 5.9 1987/01/11 13:18:54 cph Exp $
+/* $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/Attic/version.h,v 5.10 1987/01/13 18:14:24 cph Exp $
 
 This file contains version information for the microcode. */
 \f
@@ -46,9 +46,9 @@ This file contains version information for the microcode. */
 #define VERSION                9
 #endif
 #ifndef SUBVERSION
-#define SUBVERSION     18
+#define SUBVERSION     19
 #endif
 
 #ifndef UCODE_TABLES_FILENAME
-#define UCODE_TABLES_FILENAME  "utabmd.bin.100"
+#define UCODE_TABLES_FILENAME  "utabmd.bin"
 #endif

diff --git a/v8/src/microcode/version.h b/v8/src/microcode/version.h
index ac42fa4c82fc8e694d644009067d4816c5c27239..89c981ba6026c0ae4f009d1c8901191ce1b48be3 100644 (file)
--- a/v8/src/microcode/version.h
+++ b/v8/src/microcode/version.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/v8/src/microcode/version.h,v 5.9 1987/01/11 13:18:54 cph Exp $
+/* $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/microcode/version.h,v 5.10 1987/01/13 18:14:24 cph Exp $
 
 This file contains version information for the microcode. */
 \f
@@ -46,9 +46,9 @@ This file contains version information for the microcode. */
 #define VERSION                9
 #endif
 #ifndef SUBVERSION
-#define SUBVERSION     18
+#define SUBVERSION     19
 #endif
 
 #ifndef UCODE_TABLES_FILENAME
-#define UCODE_TABLES_FILENAME  "utabmd.bin.100"
+#define UCODE_TABLES_FILENAME  "utabmd.bin"
 #endif