]> git.ipfire.org Git - thirdparty/json-c.git/commitdiff
Allow USE_VALGRIND to be set to anything starting with 0, N or n to disable valgrind...
authorEric Haszlakiewicz <erh+git@nimenees.com>
Sat, 15 Jul 2017 14:03:18 +0000 (07:03 -0700)
committerEric Haszlakiewicz <erh+git@nimenees.com>
Sat, 15 Jul 2017 14:03:18 +0000 (07:03 -0700)
tests/test-defs.sh

index 5a32d392fb75eded8866a18a6efb361cba168c8b..7e1739b4173ff0f4a5974f128b081395aed543d6 100755 (executable)
@@ -50,6 +50,14 @@ echo "=== Running test $progname"
 CMP="${CMP-cmp}"
 
 use_valgrind=${USE_VALGRIND-1}
+case "${use_valgrind}" in
+       [0Nn]*)
+               use_valgrind=0
+               ;;
+       *)
+               use_valgrind=1
+               ;;
+esac
 valgrind_path=$(which valgrind 2> /dev/null)
 if [ -z "${valgrind_path}" -o ! -x "${valgrind_path}" ] ; then
        use_valgrind=0