From: Taylor R Campbell <campbell@mumble.net>
Date: Fri, 29 Oct 2010 06:01:08 +0000 (+0000)
Subject: Minor robustness improvement to microcode/makegen/makeinit.sh.
X-Git-Tag: 20101212-Gtk~26
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=f1a6e0d88e206edd1356b144a14c97aedc9b3889;p=mit-scheme.git

Minor robustness improvement to microcode/makegen/makeinit.sh.

Don't clean up on SIGQUIT.

Use the wretched ${@:+"${@}"} idiom for APPLY.
---

diff --git a/src/microcode/makegen/makeinit.sh b/src/microcode/makegen/makeinit.sh
index e0c130b13..14dba7e7b 100755
--- a/src/microcode/makegen/makeinit.sh
+++ b/src/microcode/makegen/makeinit.sh
@@ -37,12 +37,12 @@ clean ()
   fi
 }
 
-trap clean EXIT INT QUIT TERM
+trap clean EXIT INT TERM
 
 # Generate "config.h".
 
 touch Makefile.in
-./configure --disable-native-code "$@"
+./configure --disable-native-code ${@:-"${@}"} || exit $?
 
 # Generate the real "Makefile.in" from "Makefile.in.in".  Requires
 # "config.h", because dependencies are generated by running GCC -M on