Rewrite for 7.1.0 release.

diff --git a/etc/make_runtime b/etc/make_runtime
index 1d1b202604331920161dcb4d5cdc74d5d7ec2e9d..e3cfd464fbf53a27e60c9034ca6f70a5aeb629a2 100755 (executable)
--- a/etc/make_runtime
+++ b/etc/make_runtime
@@ -1,5 +1,5 @@
-#!/bin/csh -f
+#!/bin/sh
 # Script to generate standard runtime band from binaries.
-# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/etc/make_runtime,v 1.2 1990/12/12 03:08:46 cph Exp $
+# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/etc/make_runtime,v 1.3 1990/12/12 03:10:20 cph Exp $
 cd runtime
 exec ../microcode/scheme -library ../lib -fasl make.bin < ../etc/mkband.scm