diff options
| -rwxr-xr-x | init_buildsystem | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/init_buildsystem b/init_buildsystem index aa3a072..2d49dba 100755 --- a/init_buildsystem +++ b/init_buildsystem @@ -653,15 +653,20 @@ if test -e "$BUILD_IS_RUNNING" ; then echo "N - No, abort build (default on enter)" echo "c - Continue anyway with this build root" echo -n "[y/N/c] " - read ANSWER - case "$ANSWER" in - c|C) - rm -f $BUILD_IS_RUNNING "$BUILD_ROOT"/exit ;; - y|Y) - clean_build_root ;; - *) - cleanup_and_exit 1 ;; - esac + read -t 10 ANSWER + if test "$?" -ne 0 ; then + echo "cleanup the build root as default action" + clean_build_root + else + case "$ANSWER" in + c|C) + rm -f $BUILD_IS_RUNNING "$BUILD_ROOT"/exit ;; + y|Y) + clean_build_root ;; + *) + cleanup_and_exit 1 ;; + esac + fi fi # check for surprises |