diff options
author | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-11-25 21:26:37 -0500 |
---|---|---|
committer | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-11-25 21:26:37 -0500 |
commit | 5923bcb1b94cd5a79dfc57f2ffe6271d999ea67d (patch) | |
tree | 8b4d720e2e271a1d22b7d1eb3435846b284ec952 /scripts/buildtests.in | |
parent | f795681da0fec9cd8a56f6987c903ec9a530d509 (diff) |
improve the scripts for building unit tests:
* support unsupported/
* use egrep instead of grep, properly escape special chars.
Diffstat (limited to 'scripts/buildtests.in')
-rwxr-xr-x | scripts/buildtests.in | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/scripts/buildtests.in b/scripts/buildtests.in new file mode 100755 index 000000000..1cc8e956f --- /dev/null +++ b/scripts/buildtests.in @@ -0,0 +1,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" | sed s/^/test_/g | xargs echo` + +if [ $# == 1 ] +then + make $targets_to_make + exit $? +fi + +if [ $# == 2 ] +then + make -j $2 $targets_to_make + exit $? +fi |