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

CMake: don't enforce std channels

Browse Source 
According to the CMake documentation, this is intended for file
redirection. Since we don't redirect to files, but basically enforce
std channels, this conflicts with any existing redirection set up when
CMake is invoked. As a result the messages are lost.

Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>
This commit is contained in:
Axel Heider
2021-06-16 18:44:00 +02:00
committed by Kent McLeod
parent 4f9aeadb8b
commit c121896068
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
config.cmake
View File

@@ -168,9 +168,6 @@ if(DEFINED KernelDTSList AND (NOT "${KernelDTSList}" STREQUAL ""))
"${device_dest}" --hardware-config "${config_file}" --hardware-schema "${device_dest}" --hardware-config "${config_file}" --hardware-schema
"${config_schema}" --yaml --yaml-out "${platform_yaml}" --arch "${KernelArch}" "${config_schema}" --yaml --yaml-out "${platform_yaml}" --arch "${KernelArch}"
--addrspace-max "${KernelPaddrUserTop}" --addrspace-max "${KernelPaddrUserTop}"
INPUT_FILE /dev/stdin
OUTPUT_FILE /dev/stdout
ERROR_FILE /dev/stderr
RESULT_VARIABLE error RESULT_VARIABLE error
) )
if(error) if(error)