Matt McCutchen's Web Site
/
bigint
/
bigint.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make run-testsuite recognize NO_VALGRIND environment variable to work around a
[bigint/bigint.git]
/
run-testsuite
diff --git
a/run-testsuite
b/run-testsuite
index
0c563c2
..
116d2c9
100755
(executable)
--- a/
run-testsuite
+++ b/
run-testsuite
@@
-2,9
+2,15
@@
bad=
bad=
+if [ "$NO_VALGRIND" ]; then
+ cmd=(./testsuite)
+else
+ cmd=(valgrind --error-exitcode=1 --leak-check=full ./testsuite)
+fi
+
set -o pipefail
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
echo >&2 'Memory errors!'
bad=1
fi