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 e0c130b1306066c72826df095e612488544e056d..14dba7e7b42506db51e896e7e743ea773f958c77 100755 (executable)
--- 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