2009-11-11 21:25:21 -05:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2009-12-30 15:07:05 -05:00
|
|
|
if [ $# == 0 -o $# -ge 2 ]
|
2009-11-11 21:25:21 -05:00
|
|
|
then
|
2009-12-30 15:07:05 -05:00
|
|
|
echo "usage: ./buildtests regexp"
|
|
|
|
|
echo " Makes tests matching the regexp."
|
|
|
|
|
echo " The EIGEN_JOBS environment variable controls how many"
|
|
|
|
|
echo " concurrent jobs are launched."
|
2009-11-11 21:25:21 -05:00
|
|
|
exit 0
|
|
|
|
|
fi
|
|
|
|
|
|
2009-12-30 15:07:05 -05:00
|
|
|
TESTSLIST="@EIGEN_TESTS_LIST@"
|
2009-12-02 12:07:47 -05:00
|
|
|
targets_to_make=`echo "$TESTSLIST" | egrep "$1" | xargs echo`
|
2009-11-11 21:25:21 -05:00
|
|
|
|
2009-12-30 15:07:05 -05:00
|
|
|
if [ -n "${EIGEN_JOBS:+x}" ]
|
2009-11-11 21:25:21 -05:00
|
|
|
then
|
2009-12-30 15:07:05 -05:00
|
|
|
make $targets_to_make -j${EIGEN_JOBS}
|
|
|
|
|
else
|
2009-11-11 21:25:21 -05:00
|
|
|
make $targets_to_make
|
|
|
|
|
fi
|
2009-12-30 15:07:05 -05:00
|
|
|
exit $?
|
2009-11-11 21:25:21 -05:00
|
|
|
|