diff options
-rwxr-xr-x | scripts/check.in | 4 | ||||
-rwxr-xr-x | test/buildtests.in | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/scripts/check.in b/scripts/check.in index 3aa9501bb..2a862fd80 100755 --- a/scripts/check.in +++ b/scripts/check.in @@ -8,7 +8,5 @@ then exit 0 fi -./buildtests $* - # TODO when ctest 2.8 comes out, honor the jobs parameter -ctest -R $1
\ No newline at end of file +./buildtests $* && ctest -R $1
\ No newline at end of file diff --git a/test/buildtests.in b/test/buildtests.in index 52cc66281..c24234930 100755 --- a/test/buildtests.in +++ b/test/buildtests.in @@ -13,9 +13,11 @@ targets_to_make=`echo "$TESTSLIST" | grep "$1" | sed s/^/test_/g | xargs echo` if [ $# == 1 ] then make $targets_to_make + exit $? fi if [ $# == 2 ] then make -j $2 $targets_to_make + exit $? fi |