diff options
Diffstat (limited to 'run')
| -rwxr-xr-x | run/tests | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -27,6 +27,8 @@ elif [ "$1" == "--callgrind" ]; then shift valgrind --tool="callgrind" $work/tests $private $* else + # 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" |
