From 6c672aa7da06264c4d966b870c7b63a0256348d6 Mon Sep 17 00:00:00 2001 From: Michalis Pardalos Date: Tue, 24 Aug 2021 13:35:32 +0100 Subject: Remove -Werror from benchmark runner --- benchmarks/run-vericert.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" -- cgit