X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/blobdiff_plain/cd83815d1aaa00919c7f972eeba5be8ceb2a9f18..985f256e636fbe289ba7b5729f4cb3da606c3394:/Experimentations/run-all?ds=sidebyside

diff --git a/Experimentations/run-all b/Experimentations/run-all
index d423b4d..bf282cc 100755
--- a/Experimentations/run-all
+++ b/Experimentations/run-all
@@ -5,7 +5,7 @@ set -e
 
 usage() {
     cat >&2 <<EOF
-Usage: $0 [-c] <parameters file>
+Usage: $0 [OPTION] <parameters file>
 Options:
     -h  print this help
     -n  dry-run mode (for debugging)
@@ -49,7 +49,7 @@ parameters="$1"
 log "Running: $0 $@"
 log "Hostname: $(hostname -f)"
 
-declare -a TOPOLOGIES ALGORITHMS PLATFORMS COMMON_OPTS
+declare -a TOPOLOGIES ALGORITHMS PLATFORMS COMMON_OPTS MORE_ARGS
 
 # read parameters
 log "Reading parameters from \"$1\"."
@@ -68,6 +68,7 @@ variable_check DEADLINE
 
 COMMON_OPTS=(
     --cfg=contexts/factory:raw
+    "${MORE_ARGS[@]}"
 )
 
 log "Results put in: \"$RESULTS\"."
@@ -108,9 +109,7 @@ for plat in "${PLATFORMS[@]}"; do
                     log "skipped (dry-run)"
                 else
                     echo "# ${cmd[@]}" > "$out"
-			out2="/tmp/tmp_loba.o"
-                    "${cmd[@]}" > "$out2" 2>&1
-		    tail -17 "$out2" >> "$out" 
+                    "${cmd[@]}" >> "$out" 2>&1
                     tail -n4 "$out"
                 fi
             done