3 if [[ $# != 1 ||
$1 == *help ]]
5 echo "usage: ./check regexp"
6 echo " Builds tests matching the regexp."
7 echo " The EIGEN_MAKE_ARGS environment variable allows to pass args to 'make'."
8 echo " For example, to launch 5 concurrent builds, use EIGEN_MAKE_ARGS='-j5'"
12 TESTSLIST
="@EIGEN_TESTS_LIST@"
13 targets_to_make
=`echo "$TESTSLIST" | egrep "$1" | xargs echo`
15 if [ -n "${EIGEN_MAKE_ARGS:+x}" ]
17 make $targets_to_make ${EIGEN_MAKE_ARGS}