diff options
| -rw-r--r-- | Tests/CheckSourceTree/check.cmake | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tests/CheckSourceTree/check.cmake b/Tests/CheckSourceTree/check.cmake index 6341bd6..655e419 100644 --- a/Tests/CheckSourceTree/check.cmake +++ b/Tests/CheckSourceTree/check.cmake @@ -4,6 +4,7 @@ if(DEFINED ENV{CTEST_REAL_HOME}) endif() file(GLOB known_files + "${CMake_SOURCE_DIR}/Tests/Java/hs_err_pid*.log" "${CMake_SOURCE_DIR}/Tests/JavaExportImport/InstallExport/hs_err_pid*.log" "${CMake_SOURCE_DIR}/Tests/JavaNativeHeaders/hs_err_pid*.log" ) |