- fix permissions on tmp directories

diff --git a/build_devel.sh b/build_devel.sh
index 4c5b698..e8bce85 100755 (executable)
--- a/build_devel.sh
+++ b/build_devel.sh
@@ -15,7 +15,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: build_devel.sh,v 1.5 2006/08/18 14:35:52 thierry Exp $
+# $Id: build_devel.sh,v 1.6 2007/01/11 21:49:52 mlhuang Exp $
 #
 
 . build.functions
@@ -99,6 +99,9 @@ chmod 644 $roothome/.profile
 echo "* myplc-devel: Moving data directories out of the installation"
 move_datadirs devel/root devel/data "${datadirs[@]}"
 
+# Fix permissions on tmp directories
+chmod 1777 devel/data/tmp devel/data/usr/tmp devel/data/var/tmp
+
 # Make image out of directory
 echo "* myplc-devel: Building loopback image"
 make_image devel/root devel/root.img