From 03c3656ec0abe199667aa5f9c4df19c8e3edf87e Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Thu, 5 Apr 2007 17:49:54 +0000
Subject: [PATCH] Eliminate runtime-check directory and 6.001 band.

---
 v7/src/Makefile.in          |  4 ++--
 v7/src/Setup.sh             |  4 ++--
 v7/src/etc/c-build-bands.sh | 13 +------------
 3 files changed, 5 insertions(+), 16 deletions(-)

diff --git a/v7/src/Makefile.in b/v7/src/Makefile.in
index 9ab035d08..8927fd343 100644
--- a/v7/src/Makefile.in
+++ b/v7/src/Makefile.in
@@ -1,4 +1,4 @@
-# $Id: Makefile.in,v 1.29 2007/04/04 05:08:18 riastradh Exp $
+# $Id: Makefile.in,v 1.30 2007/04/05 17:49:54 cph Exp $
 #
 # Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
 #     1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004,
@@ -61,7 +61,7 @@ mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
 
 # **** END BOILERPLATE ****
 
-SUBDIRS = 6001 compiler rcs runtime-check sf win32 $(INSTALLED_SUBDIRS)
+SUBDIRS = 6001 compiler rcs sf win32 $(INSTALLED_SUBDIRS)
 INSTALLED_SUBDIRS = microcode runtime cref edwin imail sos ssp star-parser \
 	 xdoc xml
 
diff --git a/v7/src/Setup.sh b/v7/src/Setup.sh
index 0e4e610a9..ae6e61ded 100755
--- a/v7/src/Setup.sh
+++ b/v7/src/Setup.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# $Id: Setup.sh,v 1.17 2007/04/04 05:08:18 riastradh Exp $
+# $Id: Setup.sh,v 1.18 2007/04/05 17:49:54 cph Exp $
 #
 # Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
 #     1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004,
@@ -54,7 +54,7 @@ for BUNDLE in sf+compiler edwin 6001 cref imail sos ssp xdoc xml; do
     maybe_link "lib/shared/${BUNDLE}.so" "../../microcode/${BUNDLE}.so"
 done
 
-for SUBDIR in 6001 compiler cref edwin imail rcs runtime runtime-check \
+for SUBDIR in 6001 compiler cref edwin imail rcs runtime \
               sf sos ssp star-parser win32 xdoc xml microcode; do
     echo "setting up ${SUBDIR}"
     maybe_link ${SUBDIR}/Setup.sh ../etc/Setup.sh
diff --git a/v7/src/etc/c-build-bands.sh b/v7/src/etc/c-build-bands.sh
index 139958aa8..af7072ff7 100755
--- a/v7/src/etc/c-build-bands.sh
+++ b/v7/src/etc/c-build-bands.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# $Id: c-build-bands.sh,v 1.1 2007/04/04 05:08:19 riastradh Exp $
+# $Id: c-build-bands.sh,v 1.2 2007/04/05 17:49:54 cph Exp $
 #
 # Copyright 2007 Massachusetts Institute of Technology
 #
@@ -36,14 +36,3 @@ microcode/scheme --library lib --large <<EOF
 (load-option 'EDWIN)
 (disk-save "lib/edwin.com")
 EOF
-
-(
-    cd runtime-check
-    ../microcode/scheme --library ../lib --fasl runtime_make <<EOF
-(load "../microcode/edwin.so")
-(load-option 'EDWIN)
-(load "../microcode/6001.so")
-(load-option 'STUDENT)
-(disk-save "../lib/6001.com")
-EOF
-)
-- 
2.25.1