diff options
Diffstat (limited to 'scripts/buildtests.in')
-rwxr-xr-x | scripts/buildtests.in | 22 |
1 files changed, 10 insertions, 12 deletions
diff --git a/scripts/buildtests.in b/scripts/buildtests.in index 3c4282848..aa1a4319f 100755 --- a/scripts/buildtests.in +++ b/scripts/buildtests.in @@ -1,24 +1,22 @@ #!/bin/bash -if [ $# == 0 -o $# -ge 3 ] +if [ $# == 0 -o $# -ge 2 ] then - echo "usage: ./buildtests regexp [jobs]" - echo " makes tests matching the regexp, with [jobs] concurrent make jobs" + echo "usage: ./buildtests regexp" + echo " Makes tests matching the regexp." + echo " The EIGEN_JOBS environment variable controls how many" + echo " concurrent jobs are launched." exit 0 fi -TESTSLIST="${EIGEN_TESTS_LIST}" - +TESTSLIST="@EIGEN_TESTS_LIST@" targets_to_make=`echo "$TESTSLIST" | egrep "$1" | xargs echo` -if [ $# == 1 ] +if [ -n "${EIGEN_JOBS:+x}" ] then + make $targets_to_make -j${EIGEN_JOBS} +else make $targets_to_make - exit $? fi +exit $? -if [ $# == 2 ] -then - make -j $2 $targets_to_make - exit $? -fi |