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: Remove -nostdinc from link commandline

Browse Source 
nostdinc is a compile time argument and doesn't have any effect when
being passed to the linker.

Signed-off-by: Kent McLeod <kent@kry10.com>
This commit is contained in:
Kent McLeod
2021-11-25 16:52:10 +11:00
committed by Gerwin Klein
parent fcbb15ce3f
commit b09a890157
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
CMakeLists.txt
View File

@@ -128,7 +128,7 @@ macro(KernelCommonFlags)
string(APPEND CMAKE_EXE_LINKER_FLAGS " ${common_flag} ")
endforeach()
endmacro(KernelCommonFlags)
KernelCommonFlags(-nostdinc -nostdlib ${KernelOptimisation} -DHAVE_AUTOCONF)
KernelCommonFlags(-nostdlib ${KernelOptimisation} -DHAVE_AUTOCONF)
if(KernelFWholeProgram)
KernelCommonFlags(-fwhole-program)
endif()
@@ -162,6 +162,7 @@ if(KernelArchRiscV)
endif()
KernelCommonFlags(-fno-pic -fno-pie)
add_compile_options(
-nostdinc
-fno-stack-protector
-fno-asynchronous-unwind-tables
-std=c99