Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

CMake: fix comment with usage example

Browse Source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider
2021-03-01 23:55:20 +01:00
parent 36ebac4fb4
commit d36ec062a0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
configs/seL4Config.cmake
View File

@@ -93,7 +93,7 @@ endmacro()
# helper macro that prints a message that no sub platform is specified and
# the default sub platform will be used
# Usage example: fallback_declare_seL4_arch_default(aarch32)
# Usage example: check_platform_and_fallback_to_default(KernelARMPlatform "sabre")
macro(check_platform_and_fallback_to_default var_cmake_kernel_plat default_sub_plat)
if("${${var_cmake_kernel_plat}}" STREQUAL "")
print_message_multiple_options_helper("sub platforms" ${default_sub_plat})