diff options
Diffstat (limited to 'scripts/check.in')
| -rwxr-xr-x | scripts/check.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/check.in b/scripts/check.in index d6a8466e2..a90061a57 100755 --- a/scripts/check.in +++ b/scripts/check.in @@ -14,8 +14,8 @@ fi if [ -n "${EIGEN_CTEST_ARGS:+x}" ] then - ./buildtests "$1" && ctest -R "$1" ${EIGEN_CTEST_ARGS} + ./buildtests.sh "$1" && ctest -R "$1" ${EIGEN_CTEST_ARGS} else - ./buildtests "$1" && ctest -R "$1" + ./buildtests.sh "$1" && ctest -R "$1" fi exit $? |