use another scratch partition for /tmp (sorry) (needed because of small

CD root and large compilations)

diff --git a/tools/release.sh b/tools/release.sh
index 2b1a7861644c7614cb22f376e5e6b461f4f305d8..899a996198c75b2a6be78a5527712ef4ff0ab2f3 100755 (executable)
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -104,7 +104,20 @@ else       echo "$TMPDISK is not a block device.."
        exit 1
 fi
 
+echo "Temporary (sub)partition to use for /tmp? "
+echo "It will be mkfsed!"
+echo -n "Device: /dev/"
+read dev || exit 1
+TMPDISK2=/dev/$dev
+
+if [ -b $TMPDISK2 ]
+then :
+else   echo "$TMPDISK2 is not a block device.."
+       exit 1
+fi
+
 umount $TMPDISK
+umount $TMPDISK2
 umount $RAM
 
 echo " * Cleanup old files"
@@ -114,10 +127,12 @@ mkdir -p $RELEASEDIR
 echo " * Zeroing $RAM"
 dd if=/dev/zero of=$RAM bs=$BS count=$ROOTBLOCKS
 mkfs -B $BS -b $ROOTBLOCKS $RAM || exit
+mkfs $TMPDISK2 || exit
 echo " * mounting $RAM as $RELEASEDIR"
 mount $RAM $RELEASEDIR || exit
 mkdir -m 755 $RELEASEDIR/usr
 mkdir -m 1777 $RELEASEDIR/tmp
+mount $TMPDISK2 $RELEASEDIR/tmp
 
 echo " * Zeroing $TMPDISK"
 dd if=/dev/zero of=$TMPDISK bs=$BS count=$USRBLOCKS