merge_config.sh: use signal names compatible with dash and bash
[linux-3.10.git] / scripts / kconfig / merge_config.sh
index 890276b..b91015d 100644 (file)
@@ -24,7 +24,7 @@ clean_up() {
        rm -f $TMP_FILE
        exit
 }
-trap clean_up SIGHUP SIGINT SIGTERM
+trap clean_up HUP INT TERM
 
 usage() {
        echo "Usage: $0 [OPTIONS] [CONFIG [...]]"