diff options
author | Benoit Jacob <jacob.benoit.1@gmail.com> | 2010-05-30 15:58:11 -0400 |
---|---|---|
committer | Benoit Jacob <jacob.benoit.1@gmail.com> | 2010-05-30 15:58:11 -0400 |
commit | 42f1b7d470c573732ac8bc0bd7f324eae4a6bd2d (patch) | |
tree | 70f0e9e080b3b4c4058fca977ea5caf6d70409d1 /scripts/check.in | |
parent | 641d968a9a7ed57a3b8a3f45dea43c5ee6717f97 (diff) |
finish the change of adding .sh extensions to scripts
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 $? |