diff --git a/run.sh b/run.sh index e54c9ce66bd56def833d8212591a90ecdca82741..d1ca3740f21782f8cdc3b8a969f31625ea429f6d 100755 --- a/run.sh +++ b/run.sh @@ -49,7 +49,7 @@ fi source "./experiments/$EXPERIMENT.sh" -pre_start +pre_start $@ EXPERIMENT_NAME="$EXPERIMENT.$(uname -r)" if [ ! -z "$EXTRA_TUNING" ]; then