aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnders Roxell <anders.roxell@linaro.org>2015-01-03 13:38:27 +0100
committerAnders Roxell <anders.roxell@linaro.org>2015-01-03 13:38:27 +0100
commit188bd003a994ababece6723933f2c47694211926 (patch)
tree786764507ef83c238db0e2c8e8481c7dab619245
parentde043184a17aa901c76e0c31d7cc5d74f93d27e4 (diff)
helper: generic: make it possible to ctrl-c out
Signed-off-by: Anders Roxell <anders.roxell@linaro.org>
-rw-r--r--helper/generic10
1 files changed, 10 insertions, 0 deletions
diff --git a/helper/generic b/helper/generic
index ae3a5e5..33c8410 100644
--- a/helper/generic
+++ b/helper/generic
@@ -8,6 +8,16 @@ mkdir -p ${SRCDIR}
mkdir -p ${BUILDDIR}
mkdir -p ${LOGDIR}
+control_c()
+# run if user hits control-c
+{
+ echo -en "\n*** Ouch! Exiting ***\n"
+ exit $?
+}
+
+# trap keyboard interrupt (control-c)
+trap control_c SIGINT
+
odp_fetch() {
# $1 GIT_REPO
# $2 SRCDIR