Merge pull request diffblue#565 from diffblue/owen-jones-diffblue/fix…

…-webgoat-sh Fix mistake in WebGoat.sh
NathanJPhillips · Aug 22, 2018 · 90b5582 · 90b5582
2 parents af3c620 + 21622a9
commit 90b5582
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchmarks/GENUINE/WebGoat.sh b/benchmarks/GENUINE/WebGoat.sh
@@ -20,7 +20,7 @@ REPO_DIR=$SCRIPT_DIR/WebGoat
 DEPLOY_DIR=$REPO_DIR
 FILES_DIR=$SCRIPT_DIR/WebGoat_files
 LIB_DIR=$SCRIPT_DIR/../LIBRARIES
-MODELS_LIB_DIR=${LIB_DIR}/LIBRARIES/models
+MODELS_LIB_DIR=${LIB_DIR}/models
 if [ -z "$OUTPUT_DIR" ]; then
     OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
 fi