diff options
Diffstat (limited to 'cmake/EigenConfigureTesting.cmake')
| -rw-r--r-- | cmake/EigenConfigureTesting.cmake | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cmake/EigenConfigureTesting.cmake b/cmake/EigenConfigureTesting.cmake index f54349d11..6cbef042b 100644 --- a/cmake/EigenConfigureTesting.cmake +++ b/cmake/EigenConfigureTesting.cmake @@ -11,6 +11,9 @@ add_custom_target(buildtests) add_custom_target(check COMMAND "ctest") add_dependencies(check buildtests) +# check whether /bin/bash exists +find_file(EIGEN_BIN_BASH_EXISTS "/bin/bash" PATHS "/" NO_DEFAULT_PATH) + # CMake/Ctest does not allow us to change the build command, # so we have to workaround by directly editing the generated DartConfiguration.tcl file # save CMAKE_MAKE_PROGRAM |