diff options
author | Anders Roxell <anders.roxell@linaro.org> | 2015-01-03 13:38:27 +0100 |
---|---|---|
committer | Anders Roxell <anders.roxell@linaro.org> | 2015-01-03 13:38:27 +0100 |
commit | 188bd003a994ababece6723933f2c47694211926 (patch) | |
tree | 786764507ef83c238db0e2c8e8481c7dab619245 | |
parent | de043184a17aa901c76e0c31d7cc5d74f93d27e4 (diff) |
helper: generic: make it possible to ctrl-c out
Signed-off-by: Anders Roxell <anders.roxell@linaro.org>
-rw-r--r-- | helper/generic | 10 |
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 |