From b7a7d5e8554cbc55fa0d2cd72de38b0f900f3adc Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Fri, 26 Jul 2013 12:10:22 -0400 Subject: [PATCH] bench: disable --phand-typing on nitg-e (seems broken) Signed-off-by: Jean Privat --- benchmarks/bench_engines.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/benchmarks/bench_engines.sh b/benchmarks/bench_engines.sh index 7c7728b..5e8716b 100755 --- a/benchmarks/bench_engines.sh +++ b/benchmarks/bench_engines.sh @@ -311,7 +311,7 @@ function bench_nitg-e_options() bench_nitg-e_options "slower" --hardening --no-inline-intern --no-union-attribute --no-shortcut-equal --no-shortcut-range bench_nitg-e_options "nocheck" --no-check-covariance --no-check-initialization --no-check-assert --no-check-autocast --no-check-other --no-check-erasure-cast bench_nitg-e_options "faster" --inline-coloring-numbers -bench_nitg-e_options "typing" NOALL --bm-typing --phand-typing +bench_nitg-e_options "typing" NOALL --bm-typing # --phand-typing function bench_nitc_gc() { -- 1.7.9.5