*** empty log message ***

diff --git a/tools/Makefile b/tools/Makefile
index a04be7b33c985f8fe10e8a096925640beb6d7195..e22b0ccac61f792a0df22706c6e5d005ce205675 100755 (executable)
--- 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 7db5a93ffe5bfa3508923c1565210ccee82f8b61..276c9d0d7a5ebb9b4293a90d94fbd61fb8852414 100755 (executable)
--- 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