Rename "c+e" to "all".

diff --git a/etc/rebuild-7.4-linux b/etc/rebuild-7.4-linux
index 2e8bdb034dbb299ef80666f65aa4f18f042aaad4..2b5cc9fb37fc533451e4c7fd910a66698e9309ef 100755 (executable)
--- a/etc/rebuild-7.4-linux
+++ b/etc/rebuild-7.4-linux
@@ -1,6 +1,6 @@
 #!/bin/csh -f
 
-# $Id: rebuild-7.4-linux,v 1.2 1996/12/09 21:17:38 cph Exp $
+# $Id: rebuild-7.4-linux,v 1.3 1997/07/07 23:27:44 cph Exp $
 
 # Arguments: runtimeversion compilerversion edwinversion 6001version
 
@@ -11,7 +11,7 @@
 # If a version is the string "none", the corresponding band is not built,
 # nor is the corresponding subsystem recompiled.
 
-# If either the compiler or edwin is re-built, the combined (c+e) band
+# If either the compiler or edwin is re-built, the combined (all) band
 # is re-built as well.
 
 # If the 6.001 (student) band is re-built, the range- and type-checked
@@ -237,23 +237,23 @@ endif
 if (("$edwin" != "") || ("$complr" != "")) then
   echo "### cd $root/edwin"
   cd $root/edwin
-  rm -f ../tmp/c+e.com
+  rm -f ../tmp/all.com
   echo "### $scheme -constant 2000 -heap 2000 -compiler $cbandarg -no-init-file"
             $scheme -constant 2000 -heap 2000 -compiler $cbandarg -no-init-file <<*END*
 (begin
   (load "make.com")
-  (write-line '(saving c+e band ...))
-  (disk-save "../tmp/c+e.com")
-  (write-line '(saved c+e band))
+  (write-line '(saving all band ...))
+  (disk-save "../tmp/all.com")
+  (write-line '(saved all band))
   (%exit 0))
 (%exit 1)
 *END*
   set result="$status"
   if ("$result" != 0) then
-    echo "### Re-building c+e failed."
+    echo "### Re-building all failed."
     set fullband=""
   else
-    set fullband="$root/tmp/c+e.com"
+    set fullband="$root/tmp/all.com"
   endif
 else
   set fullband=""
@@ -338,8 +338,8 @@ if ("$edwin" != "") then
 endif
 
 if ("$fullband" != "") then
-  echo "###" mv -f "$fullband" "$root/lib/c+e.com"
-  mv -f "$fullband" "$root/lib/c+e.com"
+  echo "###" mv -f "$fullband" "$root/lib/all.com"
+  mv -f "$fullband" "$root/lib/all.com"
 endif
 
 if ("$student" != "") then
@@ -369,6 +369,6 @@ abort_and_exit:
     wait
   endif
   cd "$root/tmp"
-  rm -f "$script" runtime.com complr.com edwin.com c+e.com 6001.com "$lock"
+  rm -f "$script" runtime.com complr.com edwin.com all.com 6001.com "$lock"
   echo "### Cleaned up."
   exit 1