- filesystem.rpm fails to install if /tmp, /usr/tmp, or /var/tmp already
authorMark Huang <mlhuang@cs.princeton.edu>
Thu, 2 Nov 2006 17:36:34 +0000 (17:36 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Thu, 2 Nov 2006 17:36:34 +0000 (17:36 +0000)
  exist

build.sh

index ecc3ea2..db225bf 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -95,8 +95,10 @@ datadirs=(
 )
 for datadir in "${datadirs[@]}" ; do
     # If we are being re-run, it may be a symlink
-    rm -f root/$datadir || :
-    mkdir -p root/$datadir
+    if [ -h root/$datadir ] ; then
+       rm -f root/$datadir
+       mkdir -p root/$datadir
+    fi
 done
 
 echo "* myplc: Installing base filesystem"