diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-24 13:35:32 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-24 13:35:32 +0100 |
commit | 6c672aa7da06264c4d966b870c7b63a0256348d6 (patch) | |
tree | b4a97c938382d771a19acffa2ce480e24d130c63 /benchmarks | |
parent | 182b29c0db3c408f7bd7360af90e5b360d63222d (diff) | |
download | vericert-6c672aa7da06264c4d966b870c7b63a0256348d6.tar.gz vericert-6c672aa7da06264c4d966b870c7b63a0256348d6.zip |
Remove -Werror from benchmark runner
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" |