From c7f0e4484f2578fd860c65deb90217f78c9ac0a1 Mon Sep 17 00:00:00 2001
From: Tomasz Polaczyk <tmpolaczyk@gmail.com>
Date: Wed, 4 Dec 2024 10:32:27 +0100
Subject: [PATCH] Fix benchmarking script

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" }
---
 tools/benchmarking.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/benchmarking.sh b/tools/benchmarking.sh
index ef86f9539..38fc13189 100755
--- a/tools/benchmarking.sh
+++ b/tools/benchmarking.sh
@@ -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