From 42f1b7d470c573732ac8bc0bd7f324eae4a6bd2d Mon Sep 17 00:00:00 2001 From: Benoit Jacob Date: Sun, 30 May 2010 15:58:11 -0400 Subject: finish the change of adding .sh extensions to scripts --- scripts/check.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'scripts/check.in') 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 $? -- cgit v1.2.3