diff --git a/run.sh b/run.sh index b254f86caf00a7801995df8ea4214e0f7ce1d338..09af22d2c7fec51960b232640d23c69796b4cd2f 100755 --- a/run.sh +++ b/run.sh @@ -46,9 +46,9 @@ source "./experiments/$EXPERIMENT.sh" pre_start -EXPERIMENT_NAME="$EXPERIMENT" +EXPERIMENT_NAME="$EXPERIMENT.$(uname -r)" if [ ! -z "$EXPERIMENT_NAME_EXT" ]; then - EXPERIMENT_NAME="$EXPERIMENT.$EXPERIMENT_NAME_EXT" + EXPERIMENT_NAME="$EXPERIMENT_NAME.$EXPERIMENT_NAME_EXT" fi DATA_OUT="$EXP_ROOT/data/$EXPERIMENT_NAME"