From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 16 Jun 2015 10:30:30 +0000 (+0200)
Subject: Remove the install/ directory in the run_DynamicAnalysis.sh script
X-Git-Tag: v3_12~585
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d0ec811525bf773465e37833b8a9adf19524fd51

Remove the install/ directory in the run_DynamicAnalysis.sh script

This directory is not used and conflicts with the INSTALL file on
case-insensitive filesystems.
---

diff --git a/buildtools/jenkins/run_DynamicAnalysis.sh b/buildtools/jenkins/run_DynamicAnalysis.sh
index e2951966f9..3a65693ede 100755
--- a/buildtools/jenkins/run_DynamicAnalysis.sh
+++ b/buildtools/jenkins/run_DynamicAnalysis.sh
@@ -8,7 +8,7 @@ die() {
 }
 
 do_cleanup() {
-  for d in "$WORKSPACE/build" "$WORKSPACE/install" "$WORKSPACE/memcheck"
+  for d in "$WORKSPACE/build" "$WORKSPACE/memcheck"
   do
     if [ -d "$d" ]
     then
@@ -23,7 +23,7 @@ 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