Martin Stein 688379d1ed sel4: fix segmentation fault with CCACHE=yes ... Building the elfloader in kernel-sel4.inc has a problem with Genodes CCACHE make variable. When issuing ... ! ./tool/depot/create mstein/bin/*/base-sel4-* CCACHE=yes ..., building the elfloader used to consume all memory of the host system and then run into a segmentation fault: ! make[6]: *** [elfloader/elfloader.o] Segmentation fault (core dumped) This is because the other build system invokes the CCACHE variable as a command in front of the compiler command. If CCACHE is set to 'yes', the 'yes' command is called and produces an endless output into some output file. The problem can be fixed by locally re-setting the CCACHE variable for the 'make ... elfloader' command to 'ccache' (Genode CCACHE==yes) or '' (Genode CCACHE!=yes). Fixes #4212		2021-07-28 11:25:20 +02:00
..
import	base: remove SPEC variables of boards (fix #3971)	2021-01-25 13:58:09 +01:00
mk	sel4: fix segmentation fault with CCACHE=yes	2021-07-28 11:25:20 +02:00