Use /data/tmp if it exists.
authorDaniel Hokka Zakrisson <dhokka@cs.princeton.edu>
Mon, 26 Nov 2007 05:49:47 +0000 (05:49 +0000)
committerDaniel Hokka Zakrisson <dhokka@cs.princeton.edu>
Mon, 26 Nov 2007 05:49:47 +0000 (05:49 +0000)
build.sh

index faf52e7..c986d81 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -121,11 +121,11 @@ echo "* Building images for $FULL_VERSION_STRING"
 # should do is check whether the expected amount of space
 # is available.
 BUILDTMP=/usr/tmp
-if [ -d /data ] ; then
-    isreadonly=$(mktemp /data/isreadonly.XXXXXX || /bin/true)
+if [ -d /data/tmp ] ; then
+    isreadonly=$(mktemp /data/tmp/isreadonly.XXXXXX || /bin/true)
     if [ -n "$isreadonly" ] ; then
         rm -f "$isreadonly"
-        BUILDTMP=/data
+        BUILDTMP=/data/tmp
     fi
 fi