Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove the install/ directory in the run_DynamicAnalysis.sh script
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 16 Jun 2015 10:30:30 +0000 (12:30 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 16 Jun 2015 10:30:35 +0000 (12:30 +0200)
This directory is not used and conflicts with the INSTALL file on
case-insensitive filesystems.

buildtools/jenkins/run_DynamicAnalysis.sh

index e295196..3a65693 100755 (executable)
@@ -8,7 +8,7 @@ die() {
 }
 
 do_cleanup() {
 }
 
 do_cleanup() {
-  for d in "$WORKSPACE/build" "$WORKSPACE/install" "$WORKSPACE/memcheck"
+  for d in "$WORKSPACE/build" "$WORKSPACE/memcheck"
   do
     if [ -d "$d" ]
     then
   do
     if [ -d "$d" ]
     then
@@ -23,7 +23,7 @@ do_cleanup() {
 
 do_cleanup
 
 
 do_cleanup
 
-for d in "$WORKSPACE/build" "$WORKSPACE/install" "$WORKSPACE/memcheck"
+for d in "$WORKSPACE/build" "$WORKSPACE/memcheck"
 do
   mkdir "$d" || die "Could not create $d"
 done
 do
   mkdir "$d" || die "Could not create $d"
 done