nitg: add option --global

[nit.git] / benchmarks / bench_languages.sh

diff --git a/benchmarks/bench_languages.sh b/benchmarks/bench_languages.sh
index 28720d7..5348c8d 100755 (executable)
--- a/benchmarks/bench_languages.sh
+++ b/benchmarks/bench_languages.sh
@@ -221,7 +221,7 @@ function bench_language()
        nitdir="${basedir}/nit"
        prepare_res $nitdir/$name-nitg.dat "nitg" "nitg"
        for b in $seq; do
-               run_command ./nitg $nitdir/${t}_$b.nit -o "$nitdir/${t}_$b.nitg.bin" --make-flags "CFLAGS=\"-g -O2 -DNOBOEHM\""
+               run_command ./nitg $nitdir/${t}_$b.nit --global -o "$nitdir/${t}_$b.nitg.bin" --make-flags "CFLAGS=\"-g -O2 -DNOBOEHM\""
                bench_command "$b" "" "$nitdir/${t}_$b.nitg.bin" $s
        done