From 30d13db34d19b99cab155e14fb85077451f38cc0 Mon Sep 17 00:00:00 2001
From: Carl Mai <carl.mai@tu-dresden.de>
Date: Wed, 5 Sep 2018 17:00:14 +0200
Subject: [PATCH] improved the configure script a bit

---
 docker/bashrc                       | 2 +-
 trainbenchmark/scripts/configure.sh | 8 ++++++--
 2 files changed, 7 insertions(+), 3 deletions(-)
 mode change 100644 => 100755 trainbenchmark/scripts/configure.sh

diff --git a/docker/bashrc b/docker/bashrc
index 146be858b..ff2d458c9 100644
--- a/docker/bashrc
+++ b/docker/bashrc
@@ -3,7 +3,7 @@ function csv_viewer {
 }
 alias configure_default="/trainbenchmark/scripts/configure.sh 1 1024 900 10"
 alias configure_medium="/trainbenchmark/scripts/configure.sh 8 256 60 5"
-alias configure_small="/trainbenchmark/scripts/configure.sh 1 128 20 2"
+alias configure_small="/trainbenchmark/scripts/configure.sh 1 32 20 3"
 
 alias doc_motd="bash /trainbenchmark/docs/motd"
 alias doc_basic="bash /trainbenchmark/docs/basic"
diff --git a/trainbenchmark/scripts/configure.sh b/trainbenchmark/scripts/configure.sh
old mode 100644
new mode 100755
index fb3a9d59b..9aeac2327
--- a/trainbenchmark/scripts/configure.sh
+++ b/trainbenchmark/scripts/configure.sh
@@ -15,11 +15,15 @@ then
     echo "Default is: ./scripts/configure.sh 1 1024 900 10"
     exit 1
 fi
-
+echo "Configuring the source with:"
+echo "minSize: $MINSIZE"
+echo "maxSize: $MAXSIZE"
+echo "timeout: $TIMEOUT"
+echo "runs: $RUNS"
 echo -e "\\033[1;96mRemember that this only configures and initializes. Further steps:"
 echo -e "\\033[1;91mGenerate:"
 echo -e "\\033[0m  if not yet done run ./gradlew generate"
-echo "     maxSize 1024 -> ~40GB of data"
+echo "     but beware: maxSize 1024 -> ~40GB of data"
 echo -e "\\033[1;91mBenchmark:"
 echo -e "\\033[0m  ./gradlew individualInjectBenchmark"
 echo "  ./gradlew individualRepairBenchmark"
-- 
GitLab