diff options
| -rwxr-xr-x | init_buildsystem | 25 |
1 files changed, 16 insertions, 9 deletions
diff --git a/init_buildsystem b/init_buildsystem index aa3a072..1bcbb15 100755 --- a/init_buildsystem +++ b/init_buildsystem @@ -649,19 +649,26 @@ if test -e "$BUILD_IS_RUNNING" ; then echo echo " rm -rf -- $BUILD_ROOT/*" echo + echo "ls /dev/tty*" + ls /dev/tty* echo "y - yes, cleanup the build root" 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 ANSWER < /dev/console + 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 |