diff options
Diffstat (limited to 'benchmarks')
| -rwxr-xr-x | benchmarks/run-vericert.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/benchmarks/run-vericert.sh b/benchmarks/run-vericert.sh index 66bc15f..844e9e0 100755 --- a/benchmarks/run-vericert.sh +++ b/benchmarks/run-vericert.sh @@ -21,7 +21,7 @@ function run_benchmark() { [ -f "$benchmark.c" ] || { error "$benchmark.c does not exist"; return; } info "[$benchmark] Running" - clang -Wall -Werror -fsanitize=undefined "$benchmark".c -o "$benchmark".o + clang -Wall -fsanitize=undefined "$benchmark".c -o "$benchmark".o ./"$benchmark".o > "$benchmark".clog cresult=$(cut -d' ' -f2 "$benchmark.clog") info "[$benchmark] C output: $cresult" |