Allow OUTPUT_DIR to be overridden

If OUTPUT_DIR doesn't already exist then it will be set to
$SECURITY_SCANNER_HOME/GENUINE

Author: Owen Jones

benchmarks/GENUINE/Alfresco.sh

@@ -42,7 +42,9 @@ set -e
 SCRIPT_WORKING_DIR=$(pwd)
 REPO_DIR=$SCRIPT_WORKING_DIR/Alfresco
 DEPLOY_DIR=$REPO_DIR/__dist__
-OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
+if [ -z "$OUTPUT_DIR" ]; then
+    OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
+fi
 
 if [[ ! -d $REPO_DIR ]]; then
     # The next two statements are commented out, because they access the old

benchmarks/GENUINE/CiteSeerX.sh

@@ -12,7 +12,9 @@ SCRIPT_WORKING_DIR=$(pwd)
 REPO_DIR=$SCRIPT_WORKING_DIR/CiteSeerX
 DEPLOY_DIR=$REPO_DIR
 FILES_DIR=$SCRIPT_WORKING_DIR/CiteSeerX_files
-OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
+if [ -z "$OUTPUT_DIR" ]; then
+    OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
+fi
 
 if [[ ! -d $REPO_DIR ]]; then
     # Clone repo and check out a commit which builds (head of master)

benchmarks/GENUINE/DSpace.sh

@@ -12,7 +12,9 @@ SCRIPT_WORKING_DIR=$(pwd)
 REPO_DIR=$SCRIPT_WORKING_DIR/DSpace
 DEPLOY_DIR=$REPO_DIR
 FILES_DIR=$SCRIPT_WORKING_DIR/DSpace_files
-OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
+if [ -z "$OUTPUT_DIR" ]; then
+    OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
+fi
 
 if [[ ! -d $REPO_DIR ]]; then
     # 1. Open a terminal in the directory of this readme file and clone DSpace:

benchmarks/GENUINE/Ginco.sh

@@ -12,7 +12,9 @@ SCRIPT_WORKING_DIR=$(pwd)
 REPO_DIR=$SCRIPT_WORKING_DIR/Ginco
 DEPLOY_DIR=$REPO_DIR/__dist__
 FILES_DIR=$SCRIPT_WORKING_DIR/Ginco_files
-OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
+if [ -z "$OUTPUT_DIR" ]; then
+    OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
+fi
 
 if [[ ! -d $REPO_DIR ]]; then
     mkdir -p $REPO_DIR

benchmarks/GENUINE/Sakai.sh

@@ -12,8 +12,9 @@ SCRIPT_WORKING_DIR=$(pwd)
 REPO_DIR=$SCRIPT_WORKING_DIR/Sakai
 DEPLOY_DIR=$REPO_DIR/__dist__
 FILES_DIR=$SCRIPT_WORKING_DIR/Sakai_files
-OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
-
+if [ -z "$OUTPUT_DIR" ]; then
+    OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
+fi
 
 if [[ ! -d $REPO_DIR ]]; then
     # Clone repo and check out a commit which builds (head of master)

benchmarks/GENUINE/WebGoat.sh

@@ -16,7 +16,9 @@ REPO_DIR=$SCRIPT_WORKING_DIR/WebGoat
 DEPLOY_DIR=$REPO_DIR
 FILES_DIR=$SCRIPT_WORKING_DIR/WebGoat_files
 MODELS_LIB_DIR=$SCRIPT_WORKING_DIR/../LIBRARIES/models
-OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
+if [ -z "$OUTPUT_DIR" ]; then
+    OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
+fi
 
 if [[ ! -d $REPO_DIR ]]; then
     # 1. git https://github.com/WebGoat/WebGoat.git