diff --git a/1-runs/run-2024-03-31---06-37---tcg40/run-lean-stage-bench-worker.sh b/1-runs/run-2024-03-31---06-37---tcg40/run-lean-stage-bench-worker.sh index b56873816b4f..7dc812917336 100644 --- a/1-runs/run-2024-03-31---06-37---tcg40/run-lean-stage-bench-worker.sh +++ b/1-runs/run-2024-03-31---06-37---tcg40/run-lean-stage-bench-worker.sh @@ -53,5 +53,6 @@ for i in {0..1}; do make -j10 stage2 touch $EXPERIMENTDIR/$CSVNAME && echo "" > $EXPERIMENTDIR/$CSVNAME $TIME -v make -j10 stage3 2>&1 | tee "$EXPERIMENTDIR/time-${KINDS[i]}-stage3.txt" + # cd stage3 && ctest -j32 --output-on-failure 2>&1 | tee "$EXPERIMENTDIR/ctest-${KINDS[i]}-stage3.txt" && cd ../ curl -d "Done[${KINDS[i]}]. run:$EXPERIMENTDIR. machine:$(uname -a)." ntfy.sh/xISSztEV8EoOchM2 done;