commit 751de22ca47efad58393e226d1b82b7a971b5a39
author Daniel Leung <daniel.leung@intel.com> Fri Mar 10 14:07:59 2023 -0800
committer Carles Cufí <carles.cufi@nordicsemi.no> Sat Mar 11 19:45:23 2023 +0100
tree cccf5c2afe8aed104eef7e45a356a8e73183611b
parent 641b89801a61e61de2eaa59a86fe2b7ba53f7fb2

syscalls: skip generating mrsh.c if not userspace

There is no need to generate all the *_mrsh.c files for
marshalling syscall arguments when userspace is not enabled.

Signed-off-by: Daniel Leung <daniel.leung@intel.com>

CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index a31b617..b2c5b7a 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -735,6 +735,7 @@
   --base-output      include/generated/syscalls           # Write to this dir
   --syscall-dispatch include/generated/syscall_dispatch.c # Write this file
   --syscall-list     ${syscall_list_h}
+  $<$<BOOL:${CONFIG_USERSPACE}>:--gen-mrsh-files>
   ${SYSCALL_LONG_REGISTERS_ARG}
   ${SYSCALL_SPLIT_TIMEOUT_ARG}
   WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}