From 07158b9f3dcaa6914b85087b80468f0907847208 Mon Sep 17 00:00:00 2001 From: Carl Hetherington Date: Tue, 24 Apr 2018 15:11:30 +0100 Subject: Undo previous commit and leave comment. --- run/tests | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'run/tests') 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 -- cgit v1.2.3