From c8dd3b8f09e43e0abbd454a8817898df09db7a21 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Thu, 30 Mar 2023 12:45:31 -0500 Subject: [PATCH] CMake: also record dummy target in detailed.log --- cmake/setup_write_config.cmake | 3 +++ 1 file changed, 3 insertions(+) diff --git a/cmake/setup_write_config.cmake b/cmake/setup_write_config.cmake index 75469f42e0..e9e82dfd7a 100644 --- a/cmake/setup_write_config.cmake +++ b/cmake/setup_write_config.cmake @@ -131,6 +131,9 @@ endif() _detailed("# Library targets:\n") +_detailed("#\n") +_print_target(${DEAL_II_TARGET_NAME}) + foreach(_build ${DEAL_II_BUILD_TYPES}) string(TOLOWER "${_build}" _build_lowercase) _detailed("#\n") -- 2.39.5