Parcourir la source

Fix error in 0install script

 - If the file exists, mkdir complains about creating a directory already
   existing. We now check its existence before invoking mkdir.
Leo il y a 9 ans
Parent
commit
9c8d0fd9b9
1 fichiers modifiés avec 3 ajouts et 1 suppressions
  1. 3 1
      0install.sh

+ 3 - 1
0install.sh

@@ -24,7 +24,9 @@ cp ./_build/src/oclaunch.native $dist/oclaunch
 mv $build_log ./$dist/
 
 cd $dist
-mkdir $name
+if [ ! -d $name ]; then
+  mkdir $name
+fi
 # Put executable in it
 mv oclaunch $build_log $name