diff options
author | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-12-31 16:13:56 -0500 |
---|---|---|
committer | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-12-31 16:13:56 -0500 |
commit | c436d94f184112a6fb6019eacf109e69bc712fee (patch) | |
tree | cb34e98958146e0dfd5819732a3b39d632854155 /scripts/check.in | |
parent | 2038f9cc8d03b02e2eb4173a3e4726f3318e74be (diff) |
Instead of EIGEN_JOBS, introduce EIGEN_MAKE_ARGS and EIGEN_CTEST_ARGS. This is much more powerful!
Notice that CTest 2.8 supports the -j argument, although that is undocumented.
Last commit of 2009! Happy new year to all!
Diffstat (limited to 'scripts/check.in')
-rwxr-xr-x | scripts/check.in | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/scripts/check.in b/scripts/check.in index e1fdccd0a..d6a8466e2 100755 --- a/scripts/check.in +++ b/scripts/check.in @@ -1,14 +1,21 @@ #!/bin/bash # check : shorthand for make and ctest -R -if [ $# == 0 -o $# -ge 2 ] +if [[ $# != 1 || $1 == *help ]] then echo "usage: ./check regexp" - echo " Makes and runs tests matching the regexp." - echo " The EIGEN_JOBS environment variable controls how many" - echo " concurrent jobs are launched." + echo " Builds and runs tests matching the regexp." + echo " The EIGEN_MAKE_ARGS environment variable allows to pass args to 'make'." + echo " For example, to launch 5 concurrent builds, use EIGEN_MAKE_ARGS='-j5'" + echo " The EIGEN_CTEST_ARGS environment variable allows to pass args to 'ctest'." + echo " For example, with CTest 2.8, you can use EIGEN_CTEST_ARGS='-j5'." exit 0 fi -# TODO ctest 2.8 is out, honor the jobs parameter -./buildtests "$1" && ctest -R "$1" +if [ -n "${EIGEN_CTEST_ARGS:+x}" ] +then + ./buildtests "$1" && ctest -R "$1" ${EIGEN_CTEST_ARGS} +else + ./buildtests "$1" && ctest -R "$1" +fi +exit $? |