diff options
Diffstat (limited to 'scripts/buildtests.in')
-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 |