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 e295196..3a65693 100755 (executable)
--- 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