From d0ec811525bf773465e37833b8a9adf19524fd51 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 16 Jun 2015 12:30:30 +0200
Subject: [PATCH] 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.
---
 buildtools/jenkins/run_DynamicAnalysis.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.20.1