Skip to content

Commit

Permalink
fix: review
Browse files Browse the repository at this point in the history
  • Loading branch information
atanmarko committed Nov 4, 2024
1 parent 68c1e0f commit 980ee03
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions scripts/prove_stdio.sh
Original file line number Diff line number Diff line change
Expand Up @@ -109,8 +109,8 @@ if [[ $TEST_ONLY == "test_only" ]]; then
exit
else
# Some error occurred, display the logs and exit.
cat "$OUT_LOG_PATH"
echo "Failed to create proof witnesses. See $OUT_LOG_PATH for more details."
cat "$TEST_OUT_PATH"
echo "Failed to create proof witnesses. See $TEST_OUT_PATH for more details."
exit 1
fi
fi
Expand Down

0 comments on commit 980ee03

Please sign in to comment.