use valgrind if possible

diff --git a/test.sh b/test.sh
index 3b3fc60..924f88c 100644 (file)
--- a/test.sh
+++ b/test.sh
@@ -1,8 +1,13 @@
 #!/bin/sh
 
 set -ex
-#VALGRIND="valgrind -q"
+
 VALGRIND=
+if [ "$1" = -v ]; then
+  if which valgrind 2>/dev/null; then
+    VALGRIND="valgrind -q"
+  fi
+fi
 
 if [ -f olha.exe ]; then
   cp olha.exe olha2