Print useful metrics at exit.

[loba.git] / Experimentations / make_params

diff --git a/Experimentations/make_params b/Experimentations/make_params
index 7dd1661c7c79b055466fb1f6b8dc9f0cba8e29d6..dd7e201c1a473c9cf0e3be610cfdd8b427e67959 100755 (executable)
--- a/Experimentations/make_params
+++ b/Experimentations/make_params
@@ -16,10 +16,13 @@ die() {
 
 test -r "$TEMPLATE" || die "file not found: $TEMPLATE"
 
 
 test -r "$TEMPLATE" || die "file not found: $TEMPLATE"
 

+source "$TEMPLATE" || die "cannot read file: $TEMPLATE"
+declare -a common_opts=( "${MORE_ARGS[@]}" )
+

 for flavour in "I" "R"; do
     for distrib in "1" "N"; do
         for ratio in "1000:1" "100:1" "10:1" "1:1" "1:10" "1:100" "1:1000"; do
 for flavour in "I" "R"; do
     for distrib in "1" "N"; do
         for ratio in "1000:1" "100:1" "10:1" "1:1" "1:10" "1:100" "1:1000"; do

-            declare -a opts=( -m1e-4 -M10 )
+            declare -a opts=( "${common_opts[@]}" )

             case "$flavour" in
                 "I") opts+=( -Z ) ;;
                 "R") : ;;
             case "$flavour" in
                 "I") opts+=( -Z ) ;;
                 "R") : ;;