diff --git a/tools/push3-evolution/evolve.sh b/tools/push3-evolution/evolve.sh index c883aae..b76490c 100755 --- a/tools/push3-evolution/evolve.sh +++ b/tools/push3-evolution/evolve.sh @@ -462,12 +462,13 @@ for gen in $(seq 0 $((GENERATIONS - 1))); do if [ "${#_BATCH_FILES[@]}" -gt 0 ]; then BATCH_EC=0 - bash "$BATCH_EVAL_SH" "${_BATCH_FILES[@]}" > "$BATCH_SCORES_FILE" 2>"${TMPDIR}/batch-eval.log" \ + BATCH_EVAL_LOG="$WORK_DIR/batch-eval-gen-${gen}.log" + bash "$BATCH_EVAL_SH" "${_BATCH_FILES[@]}" > "$BATCH_SCORES_FILE" 2>"$BATCH_EVAL_LOG" \ || BATCH_EC=$? if [ "$BATCH_EC" -ne 0 ]; then - echo "--- last 20 lines of ${TMPDIR}/batch-eval.log ---" >&2 - tail -n 20 "${TMPDIR}/batch-eval.log" >&2 + echo "--- last 20 lines of $BATCH_EVAL_LOG ---" >&2 + tail -n 20 "$BATCH_EVAL_LOG" >&2 echo "--- end batch-eval.log ---" >&2 fi