From c75a7f59dbc8dee9ff2f81b095d1eee5264d45b6 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Sun, 11 Mar 2012 00:40:37 -0800 Subject: [PATCH] Eliminate bash-isms. --- src/etc/make-native.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/etc/make-native.sh b/src/etc/make-native.sh index e6a05e043..f0b7c2e1e 100755 --- 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 <