blob: 3c4282848997861db03e8cb9a76acecf6fc737e7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/bin/bash
if [ $# == 0 -o $# -ge 3 ]
then
echo "usage: ./buildtests regexp [jobs]"
echo " makes tests matching the regexp, with [jobs] concurrent make jobs"
exit 0
fi
TESTSLIST="${EIGEN_TESTS_LIST}"
targets_to_make=`echo "$TESTSLIST" | egrep "$1" | xargs echo`
if [ $# == 1 ]
then
make $targets_to_make
exit $?
fi
if [ $# == 2 ]
then
make -j $2 $targets_to_make
exit $?
fi
|
