X-Git-Url: https://mattmccutchen.net/bigint/bigint.git/blobdiff_plain/e6866cd00f91dd02fb54942d61fb1586ce0ed5b5..d8a8a836449e8acd2a309cdadbe84a2de49a54be:/run-testsuite

diff --git a/run-testsuite b/run-testsuite
index 0c563c2..116d2c9 100755
--- a/run-testsuite
+++ b/run-testsuite
@@ -2,9 +2,15 @@
 
 bad=
 
+if [ "$NO_VALGRIND" ]; then
+	cmd=(./testsuite)
+else
+	cmd=(valgrind --error-exitcode=1 --leak-check=full ./testsuite)
+fi
+
 set -o pipefail
-if ! valgrind --error-exitcode=1 --leak-check=full \
-	./testsuite 2>&1 >testsuite.out | tee testsuite.err; then
+# Stdout goes directly to testsuite.out; stderr goes down the pipe.
+if ! "${cmd[@]}" 2>&1 >testsuite.out | tee testsuite.err; then
 	echo >&2 'Memory errors!'
 	bad=1
 fi