X-Git-Url: http://git.rrze.uni-erlangen.de/gitweb/?p=LbmBenchmarkKernelsPublic.git;a=blobdiff_plain;f=src%2Ftest.sh;h=a0e8ad67fc3575cb346b321651ce4cfb1c47f869;hp=7a76f51b8ca6321bcf79b087c62c41a9acc12f8a;hb=e3f82424829ebb623343ce0092238f83b4a1b8c2;hpb=ecf590ae9bb13ba2b2f01c3bf7a53056a8b1467b

diff --git a/src/test.sh b/src/test.sh
index 7a76f51..a0e8ad6 100755
--- a/src/test.sh
+++ b/src/test.sh
@@ -54,7 +54,7 @@ Config="$1"
 
 make clean-all
 make -j CONFIG=$Config TAG=$XTag-debug
-make -j CONFIG=$Config BUILD=$Build TAG=$XTag-v
+make -j CONFIG=$Config BUILD=$Build TAG=$XTag-v VERIFICATION=on
 make -j CONFIG=$Config BUILD=$Build TAG=$XTag-b BENCHMARK=on
 
 BinaryV="../bin/lbmbenchk-$Config-$Build$XTag-v"