diff options
Diffstat (limited to 'test/buildtests.in')
-rwxr-xr-x | test/buildtests.in | 2 |
1 files changed, 2 insertions, 0 deletions
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 |