Kill unused include.

[loba.git] / Experimentations / make_params

diff --git a/Experimentations/make_params b/Experimentations/make_params
index 7dd1661c7c79b055466fb1f6b8dc9f0cba8e29d6..2d5c26bf20ce02f13e8b5874d793e55d94e79a9e 100755 (executable)
--- a/Experimentations/make_params
+++ b/Experimentations/make_params
@@ -3,7 +3,7 @@
 set -e
 
 TEMPLATE=${1:-"ag_parameters"}
-PREFIX=param
+PREFIX=${2:-"param"}
 
 log() {
     echo "-#- $@" >&2
@@ -16,10 +16,13 @@ die() {
 
 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
-            declare -a opts=( -m1e-4 -M10 )
+            declare -a opts=( "${common_opts[@]}" )
             case "$flavour" in
                 "I") opts+=( -Z ) ;;
                 "R") : ;;