Browse Source

pretty-format the benchmarker script which got mangled from editing on vampir

master
Constantin Fürst 11 months ago
parent
commit
25451fa26a
  1. 4
      benchmarks/benchmarker.sh

4
benchmarks/benchmarker.sh

@ -16,8 +16,8 @@ for json_file in "$json_directory"/*.json; do
# Check if there are matching files
if [ -e "$json_file" ]; then
# Execute the program with the JSON file as parameters
bn=$(basename $json_file)
name="${bn%.*}"
bn=$(basename $json_file)
name="${bn%.*}"
echo "running test ${name} ..."
"$program_location" "$json_file" "${output_dir}/${name}.json"
fi

Loading…
Cancel
Save