diff options
Diffstat (limited to 'scripts/buildtests.in')
-rwxr-xr-x | scripts/buildtests.in | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/scripts/buildtests.in b/scripts/buildtests.in index aa1a4319f..7026373cf 100755 --- a/scripts/buildtests.in +++ b/scripts/buildtests.in @@ -1,20 +1,20 @@ #!/bin/bash -if [ $# == 0 -o $# -ge 2 ] +if [[ $# != 1 || $1 == *help ]] then - echo "usage: ./buildtests regexp" - echo " Makes tests matching the regexp." - echo " The EIGEN_JOBS environment variable controls how many" - echo " concurrent jobs are launched." + echo "usage: ./check regexp" + echo " Builds 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'" exit 0 fi TESTSLIST="@EIGEN_TESTS_LIST@" targets_to_make=`echo "$TESTSLIST" | egrep "$1" | xargs echo` -if [ -n "${EIGEN_JOBS:+x}" ] +if [ -n "${EIGEN_MAKE_ARGS:+x}" ] then - make $targets_to_make -j${EIGEN_JOBS} + make $targets_to_make ${EIGEN_MAKE_ARGS} else make $targets_to_make fi |