From f1a6e0d88e206edd1356b144a14c97aedc9b3889 Mon Sep 17 00:00:00 2001
From: Taylor R Campbell <campbell@mumble.net>
Date: Fri, 29 Oct 2010 06:01:08 +0000
Subject: [PATCH] Minor robustness improvement to
 microcode/makegen/makeinit.sh.

Don't clean up on SIGQUIT.

Use the wretched ${@:+"${@}"} idiom for APPLY.
---
 src/microcode/makegen/makeinit.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.25.1