Use /data if it exists and is writeable, otherwise use /usr/tmp to
authorMarc Fiuczynski <mef@cs.princeton.edu>
Wed, 24 Oct 2007 21:25:16 +0000 (21:25 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Wed, 24 Oct 2007 21:25:16 +0000 (21:25 +0000)
commit1c8da6a7748891ede862feb32ac98080f65ea19c
tree812f9ef82bfcf5bbb25a68d12f72409e7df0533f
parentfd01ac135d4660001dd8801e59db6b02c0826546
Use /data if it exists and is writeable, otherwise use /usr/tmp to
build images.
build.sh