From 71d157b29af8e59406802f990dc4b24e1c7d1632 Mon Sep 17 00:00:00 2001 From: Ludwig Nussel Date: Tue, 11 Mar 2008 14:47:11 +0000 Subject: [PATCH] allow to continue despite potentially broken build root --- init_buildsystem | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/init_buildsystem b/init_buildsystem index 6ee650b..2aa6352 100755 --- a/init_buildsystem +++ b/init_buildsystem @@ -255,14 +255,15 @@ if test -e $BUILD_IS_RUNNING ; then umount -n $BUILD_ROOT/mnt 2> /dev/null echo "Your build system is broken!! Shall I execute" echo - echo " rm -rf $BUILD_ROOT" + echo " rm -rf -- $BUILD_ROOT" echo - echo -n "[y/N] " + echo -n "[y/N/c] " read ANSWER - test "$ANSWER" != y && { - exit - } - clean_build_root + case "$ANSWER" in + c|C) rm -f $BUILD_IS_RUNNING ;; + y|Y) clean_build_root ;; + *) cleanup_and_exit 1 ;; + esac fi # -- 2.7.4