Eliminate bash-isms.

diff --git a/src/etc/make-native.sh b/src/etc/make-native.sh
index e6a05e043c2a09d786062a18223442e73c9293c8..f0b7c2e1ea2aa50032ce5d4cda401742e67afffa 100755 (executable)
--- a/src/etc/make-native.sh
+++ b/src/etc/make-native.sh
@@ -56,16 +56,15 @@ export MIT_SCHEME_EXE
 script_name="${0}"
 report_error ()
 {
-  local line
   cat <<EOF
 *** Error in ${script_name}
 
 This script builds MIT/GNU Scheme a native back end, starting from
 MIT/GNU Scheme with the portable C back end.
 EOF
-  printf '\n'
+  echo
   cat
-  printf '\n'
+  echo
   cat <<EOF
 If you have installed MIT/GNU Scheme with the portable C back end in
 an unusual location, set the environment variable MIT_SCHEME_EXE to