From 9134ae3ee4947ad067f36d01e9f48f0a373f94a2 Mon Sep 17 00:00:00 2001 From: Adrian Danis Date: Wed, 15 Nov 2017 10:48:04 +1100 Subject: [PATCH] cmake: Custom target for holding properties Defines an empty custom target whose purpose is to hold properties and configuration data that can be retrieved using generator expressions in the build phase. --- config.cmake | 2 ++ 1 file changed, 2 insertions(+) diff --git a/config.cmake b/config.cmake index 916d83c51..6d972430c 100644 --- a/config.cmake +++ b/config.cmake @@ -28,6 +28,8 @@ if(KernelVerificationBuild) set(force CLEAR) endif() mark_as_advanced(${force} CSPEC_DIR SKIP_MODIFIES TOPLEVELTYPES SORRY_BITFIELD_PROOFS UMM_TYPES) +# Use a custom target for collecting information during generation that we need during build +add_custom_target(kernel_config_target) ######################## # Architecture selection