RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

CMake: clarify log message

Browse Source 
Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>
This commit is contained in:
Axel Heider
2021-06-16 18:58:15 +02:00
committed by Kent McLeod
parent c121896068
commit 7ac7e74400
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
config.cmake
View File

@@ -159,7 +159,7 @@ if(DEFINED KernelDTSList AND (NOT "${KernelDTSList}" STREQUAL ""))
check_outfile_stale(regen ${device_dest} deps ${CMAKE_CURRENT_BINARY_DIR}/gen_header.cmd) check_outfile_stale(regen ${device_dest} deps ${CMAKE_CURRENT_BINARY_DIR}/gen_header.cmd)
if(regen) if(regen)
# Generate devices_gen header based on DTB # Generate devices_gen header based on DTB
message(STATUS "${device_dest} is out of date. Regenerating...") message(STATUS "${device_dest} is out of date. Regenerating from DTB...")
file(MAKE_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}/gen_headers/plat/machine/") file(MAKE_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}/gen_headers/plat/machine/")
execute_process( execute_process(
COMMAND COMMAND
@@ -171,7 +171,7 @@ if(DEFINED KernelDTSList AND (NOT "${KernelDTSList}" STREQUAL ""))
RESULT_VARIABLE error RESULT_VARIABLE error
) )
if(error) if(error)
message(FATAL_ERROR "Failed to generate: ${device_dest}") message(FATAL_ERROR "Failed to generate from DTB: ${device_dest}")
endif() endif()
endif() endif()
file(READ "${compatibility_outfile}" compatibility_strings) file(READ "${compatibility_outfile}" compatibility_strings)