summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2018-04-24 15:11:30 +0100
committerCarl Hetherington <cth@carlh.net>2018-04-24 15:11:30 +0100
commit07158b9f3dcaa6914b85087b80468f0907847208 (patch)
tree45d017d7cec413d5fe00e7e45b3e4cee5c24b0cd
parent6e157ac1b3697ef1971a40fdca857430f36fd386 (diff)
Undo previous commit and leave comment.
-rwxr-xr-xrun/tests4
1 files changed, 3 insertions, 1 deletions
diff --git a/run/tests b/run/tests
index 4748927f..5c294dab 100755
--- a/run/tests
+++ b/run/tests
@@ -27,7 +27,9 @@ elif [ "$1" == "--callgrind" ]; then
shift
valgrind --tool="callgrind" $work/tests $private $*
else
- $work/tests $* -- $private
+ # This gives a warning from newer boost versions but doing it
+ # as $work/tests $* -- $private fails on older boost versions.
+ $work/tests $private $*
if [ "$?" != "0" ]; then
echo "FAIL: unit tests"
exit 1