From 7a153eb2770bbd44b038cdd7158519e4f63d17d5 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Thu, 5 Apr 2007 17:43:24 +0000
Subject: [PATCH] Don't build 6.001 band.

---
 v7/src/etc/build-bands.sh | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/v7/src/etc/build-bands.sh b/v7/src/etc/build-bands.sh
index e50609cb7..1c6670a62 100755
--- a/v7/src/etc/build-bands.sh
+++ b/v7/src/etc/build-bands.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# $Id: build-bands.sh,v 1.6 2007/01/05 21:19:25 cph Exp $
+# $Id: build-bands.sh,v 1.7 2007/04/05 17:43:24 cph Exp $
 #
 # Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
 #     1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004,
@@ -45,12 +45,3 @@ microcode/scheme --library lib --large <<EOF
 (load-option 'EDWIN)
 (disk-save "lib/edwin.com")
 EOF
-
-(
-    cd runtime-check
-    ../microcode/scheme --library ../lib --fasl make.com <<EOF
-(load-option 'EDWIN)
-(load-option 'STUDENT)
-(disk-save "../lib/6001.com")
-EOF
-)
-- 
2.25.1