1 #!/bin/bash 2 3 if [[ $# != 1 || $1 == *help ]] 4 then 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'" 9 exit 0 10 fi 11 12 TESTSLIST="@EIGEN_TESTS_LIST@" 13 targets_to_make=`echo "$TESTSLIST" | egrep "$1" | xargs echo` 14 15 if [ -n "${EIGEN_MAKE_ARGS:+x}" ] 16 then 17 make $targets_to_make ${EIGEN_MAKE_ARGS} 18 else 19 make $targets_to_make 20 fi 21 exit $? 22 23
