diff options
author | Jitse Niesen <jitse@maths.leeds.ac.uk> | 2009-12-21 11:35:08 +0000 |
---|---|---|
committer | Jitse Niesen <jitse@maths.leeds.ac.uk> | 2009-12-21 11:35:08 +0000 |
commit | 32f6242b601b7554c8c5d4510b8d769777744006 (patch) | |
tree | 094042abdd3a19bbd47cc99444490e7739022091 /scripts | |
parent | 02beaea2f8accd3bfb7975e5c9e78c033fd1cb94 (diff) |
Set default for second argument for check script.
Otherwise, buildtests will be run with a second argument of "" if check
is called with only one argument, which leads to infinitely many jobs.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/check.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/check.in b/scripts/check.in index ff3c96441..82d805b79 100755 --- a/scripts/check.in +++ b/scripts/check.in @@ -1,5 +1,5 @@ #!/bin/bash -# mctestr : shorthand for make and ctest -R +# check : shorthand for make and ctest -R if [ $# == 0 -o $# -ge 3 ] then @@ -9,4 +9,4 @@ then fi # TODO when ctest 2.8 comes out, honor the jobs parameter -./buildtests "$1" "$2" && ctest -R "$1" +./buildtests "$1" "${2:-1}" && ctest -R "$1" |