diff options
| author | Carl Hetherington <cth@carlh.net> | 2018-04-24 15:11:30 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2018-04-24 15:11:30 +0100 |
| commit | 07158b9f3dcaa6914b85087b80468f0907847208 (patch) | |
| tree | 45d017d7cec413d5fe00e7e45b3e4cee5c24b0cd | |
| parent | 6e157ac1b3697ef1971a40fdca857430f36fd386 (diff) | |
Undo previous commit and leave comment.
| -rwxr-xr-x | run/tests | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |
