diff --git a/tools/Makefile b/tools/Makefile index a04be7b33..e22b0ccac 100755 --- a/tools/Makefile +++ b/tools/Makefile @@ -102,5 +102,5 @@ clean: cd ../kernel && $(MAKE) $@ cd ../servers && $(MAKE) $@ cd ../drivers && $(MAKE) $@ - rm -f *.bak image image_small *.iso *.iso.gz cdfdimage rootimage + rm -rf *.bak image image_small *.iso *.iso.gz cdfdimage rootimage src diff --git a/tools/release.sh b/tools/release.sh index 7db5a93ff..276c9d0d7 100755 --- a/tools/release.sh +++ b/tools/release.sh @@ -94,7 +94,7 @@ do done if [ $QUICK = 0 ] -then USRMB=300 +then USRMB=400 else USRMB=30 fi @@ -163,7 +163,7 @@ mount $TMPDISK $RELEASEDIR/usr || exit mkdir -p $RELEASEDIR/tmp mkdir -p $RELEASEDIR/usr/tmp -if [ QUICK = 0 ] +if [ $QUICK = 0 ] then echo " * Transfering $COPYITEMS to $RELEASEDIR" ( cd / && tar cf - $COPYITEMS ) | ( cd $RELEASEDIR && tar xf - ) || exit 1