git://git.onelab.eu
/
bootcd.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
447d4cb
)
Use /data/tmp if it exists.
author
Daniel Hokka Zakrisson
<dhokka@cs.princeton.edu>
Mon, 26 Nov 2007 05:49:47 +0000
(
05:49
+0000)
committer
Daniel Hokka Zakrisson
<dhokka@cs.princeton.edu>
Mon, 26 Nov 2007 05:49:47 +0000
(
05:49
+0000)
build.sh
patch
|
blob
|
history
diff --git
a/build.sh
b/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