diff options
author | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-11-12 15:02:52 -0500 |
---|---|---|
committer | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-11-12 15:02:52 -0500 |
commit | 9b7708f6603555fa1f960d8f8ae30a3d613b478a (patch) | |
tree | a307c8e886a1d11a927c89c55a086e962e97e546 /scripts/check.in | |
parent | 8b563d7163d2e452468b8fdcec4900ecb2853213 (diff) |
introduce check target, and some renaming
Diffstat (limited to 'scripts/check.in')
-rwxr-xr-x | scripts/check.in | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/check.in b/scripts/check.in new file mode 100755 index 000000000..a388ef38f --- /dev/null +++ b/scripts/check.in @@ -0,0 +1,14 @@ +#!/bin/bash +# mctestr : shorthand for make and ctest -R + +if [ $# == 0 -o $# -ge 3 ] +then + echo "usage: ./mctestr regexp [jobs]" + echo " makes and runs tests matching the regexp, with <jobs> concurrent make jobs" + exit 0 +fi + +./maketests $* + +# TODO when ctest 2.8 comes out, honor the jobs parameter +ctest -R $1
\ No newline at end of file |