mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-01 15:10:56 +00:00
parent
d6e9d74038
commit
0f679bb35e
15
repos/base-pistachio/patches/apps.patch
Normal file
15
repos/base-pistachio/patches/apps.patch
Normal file
@ -0,0 +1,15 @@
|
|||||||
|
Don't build unneeded apps (missing 'memove()' with GCC 10)
|
||||||
|
|
||||||
|
diff --git a/user/Makefile.in b/user/Makefile.in
|
||||||
|
index 4b84e01..3b38c56 100644
|
||||||
|
--- a/user/Makefile.in
|
||||||
|
+++ b/user/Makefile.in
|
||||||
|
@@ -76,7 +76,7 @@ HEADER_FILES= l4io.h \
|
||||||
|
l4/powerpc64/types.h \
|
||||||
|
l4/powerpc64/vregs.h
|
||||||
|
|
||||||
|
-SUBDIRS= lib serv apps util contrib
|
||||||
|
+SUBDIRS= lib serv util contrib
|
||||||
|
|
||||||
|
pre-all:
|
||||||
|
@if test ! -e ./include; then \
|
@ -1 +1 @@
|
|||||||
68c8c318ed89bfe9dd5410cf32c556dc478d1f29
|
2961c41705536e84699829f8c1d3825c24c063d3
|
||||||
|
Loading…
x
Reference in New Issue
Block a user