Skip to content

Commit

Permalink
Fix benchmarking script
Browse files Browse the repository at this point in the history
Fixes this error after running the benchmark:

Invalid input: Could not get absolute path for: $OUTPUT.
Error: Os { code: 2, kind: NotFound, message: "No such file or directory" }
  • Loading branch information
tmpolaczyk committed Dec 4, 2024
1 parent 4cfe20e commit c7f0e44
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions tools/benchmarking.sh
Original file line number Diff line number Diff line change
Expand Up @@ -74,6 +74,7 @@ function choose_and_bench {
function bench {
OUTPUT="${OUTPUT_PATH}/${1}.rs"
echo "benchmarking '${1}::${2}' --check=${3}, writing results to '${OUTPUT}'"
touch "$OUTPUT"
# Check enabled
if [[ "${3}" -eq 1 ]]; then
STEPS=16
Expand Down

0 comments on commit c7f0e44

Please sign in to comment.