From 63e068c48e37c5e1e08f72e34e1ef72f63269f3a Mon Sep 17 00:00:00 2001 From: Pierre Labastie Date: Wed, 29 Feb 2012 13:22:01 +0000 Subject: [PATCH] remove the no empty build dir guard (buggy anyway) and cosmetics in a comment --- jhalfs | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/jhalfs b/jhalfs index e5fe542..1b90151 100755 --- a/jhalfs +++ b/jhalfs @@ -352,12 +352,6 @@ fi if [[ "$REBUILD_MAKEFILE" = "n" ]] ; then - # If $BUILDDIR has subdirectories like tools/ or bin/, stop the run - # and notify the user about that. - if [ -d $BUILDDIR/tools -o -d $BUILDDIR/bin ] && [ -z $CLEAN ] ; then - eval "$no_empty_builddir" - fi - # If requested, clean the build directory clean_builddir @@ -469,7 +463,8 @@ if [[ "$REBUILD_MAKEFILE" = "n" ]] ; then fi -# When regenerating the Makefile, we need to know also the canonical book version +# When regenerating the Makefile, we need to know also the +# canonical book version if [[ "$REBUILD_MAKEFILE" = "y" ]] ; then case $PROGNAME in clfs | clfs2 | clfs3 )