bulk commit

[LbmBenchmarkKernelsPublic.git] / src / test.sh

diff --git a/src/test.sh b/src/test.sh
index 7a76f51b8ca6321bcf79b087c62c41a9acc12f8a..a0e8ad67fc3575cb346b321651ce4cfb1c47f869 100755 (executable)
--- 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"