aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/buildtests.in
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/buildtests.in')
-rwxr-xr-xscripts/buildtests.in14
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