From: Chris Hanson Date: Mon, 7 Jul 1997 23:27:44 +0000 (+0000) Subject: Rename "c+e" to "all". X-Git-Tag: 20090517-FFI~5085 X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=ea2cdc18b35a843f4e05cf516e58d318b5c766ec;p=mit-scheme.git Rename "c+e" to "all". --- diff --git a/etc/rebuild-7.4-linux b/etc/rebuild-7.4-linux index 2e8bdb034..2b5cc9fb3 100755 --- 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