mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 07:22:25 +00:00
f3610dc3a8
Remove the "excellent" idea to re-open /dev/stdout etc. for redirection as cmake uses open(O_TRUNC) and, thus, truncates log output of outer redirections.
15 lines
630 B
Diff
15 lines
630 B
Diff
Prevent truncation of stdout/stderr on open(O_TRUNC) in cmake.
|
|
|
|
--- src/kernel/sel4/config.cmake
|
|
+++ src/kernel/sel4/config.cmake
|
|
@@ -168,9 +168,6 @@ if(DEFINED KernelDTSList AND (NOT "${KernelDTSList}" STREQUAL ""))
|
|
"${device_dest}" --hardware-config "${config_file}" --hardware-schema
|
|
"${config_schema}" --yaml --yaml-out "${platform_yaml}" --arch "${KernelArch}"
|
|
--addrspace-max "${KernelPaddrUserTop}"
|
|
- INPUT_FILE /dev/stdin
|
|
- OUTPUT_FILE /dev/stdout
|
|
- ERROR_FILE /dev/stderr
|
|
RESULT_VARIABLE error
|
|
)
|
|
if(error)
|