--- code/trunk/RunGrepTest	2011/07/30 17:13:00	644
+++ code/trunk/RunGrepTest	2011/08/22 14:57:32	667
@@ -13,7 +13,7 @@
 valgrind=
 while [ $# -gt 0 ] ; do
   case $1 in
-    valgrind) valgrind="valgrind -q --leak-check=no";;
+    valgrind) valgrind="valgrind -q --leak-check=no --smc-check=all";;
     *) echo "RunGrepTest: Unknown argument $1"; exit 1;;
   esac
   shift