Check in new benchmark results

[bluesky.git] / microbench / run-common.sh

diff --git a/microbench/run-common.sh b/microbench/run-common.sh
index ad33f36..e1aa8c0 100644 (file)
--- a/microbench/run-common.sh
+++ b/microbench/run-common.sh
@@ -9,6 +9,7 @@ PARAMS="BLUESKY_RUN_NAME BLUESKY_CACHE_SIZE BLUESKY_TARGET BENCH_DURATION BENCH_
 BLUESKY_RUN_NAME=$(date +%Y%m%d)-$$
 BENCHER=vrable1.sysnet.ucsd.edu
 PROXY=vrable2.sysnet.ucsd.edu
+BLUESKY_EXTRA_OPTS=""
 
 SSH_ARGS="-i $HOME/.ssh/id_bluesky"
 
@@ -18,6 +19,9 @@ get_params() {
             echo "$p=${!p}"
         fi
     done
+    for p in $BLUESKY_EXTRA_OPTS; do
+        echo $p
+    done
 }
 
 run_cmd() {