diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/CMakeLists.txt | 2 | ||||
| -rwxr-xr-x | scripts/check.in | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/scripts/CMakeLists.txt b/scripts/CMakeLists.txt index 7a838d20e..0d9a631a9 100644 --- a/scripts/CMakeLists.txt +++ b/scripts/CMakeLists.txt @@ -1,5 +1,5 @@ get_property(EIGEN_TESTS_LIST GLOBAL PROPERTY EIGEN_TESTS_LIST) -configure_file(buildtests.in ${CMAKE_BINARY_DIR}/buildtests @ONLY) +configure_file(buildtests.in ${CMAKE_BINARY_DIR}/buildtests.sh @ONLY) configure_file(check.in ${CMAKE_BINARY_DIR}/check.sh COPYONLY) configure_file(debug.in ${CMAKE_BINARY_DIR}/debug.sh COPYONLY) 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 $? |