diff options
| author |  Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-12-02 12:07:47 -0500 |
|---|---|---|
| committer | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-12-02 12:07:47 -0500 |
| commit | de250595029f9cdce7c43eacd37542383f969e29 (patch) | |
| tree | 1dd5508ef0a233074fd53524689c670d1d782e10 /scripts | |
| parent | b0100a336a0663bbdabee2ab3f4e2b4a14755712 (diff) | |
* Remove test_ prefix in tests
* tests now honor EIGEN_REPEAT and EIGEN_SEED if no arguments were passed
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/buildtests.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/buildtests.in b/scripts/buildtests.in index 1cc8e956f..3c4282848 100755 --- a/scripts/buildtests.in +++ b/scripts/buildtests.in @@ -9,7 +9,7 @@ fi TESTSLIST="${EIGEN_TESTS_LIST}" -targets_to_make=`echo "$TESTSLIST" | egrep "$1" | sed s/^/test_/g | xargs echo` +targets_to_make=`echo "$TESTSLIST" | egrep "$1" | xargs echo` if [ $# == 1 ] then |