diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/check.in | 4 |
1 files changed, 1 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 |