diff options
author | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-11-16 09:38:44 -0500 |
---|---|---|
committer | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-11-16 09:38:44 -0500 |
commit | e09768e3bc8ff60972cc7cbf49e4a12e2b1c9235 (patch) | |
tree | c157d9ebecf5f5ef769ba0a17818a66f380a2b78 /scripts | |
parent | f7e73f1bf900346676e84a597a146b11dd7ac5dc (diff) |
handle make errors ---> exit, don't run ctest
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 |