mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 06:33:31 +00:00
c7b2314d23
Fixes #4118
16 lines
398 B
Diff
16 lines
398 B
Diff
FOC: enable GCC 10
|
|
|
|
diff --git a/src/Makeconf b/src/Makeconf
|
|
index de5b656..7660daa 100644
|
|
--- a/src/Makeconf
|
|
+++ b/src/Makeconf
|
|
@@ -244,7 +244,7 @@ ifeq ($(CC_TYPE),gcc)
|
|
endif
|
|
|
|
|
|
-CC_WHITELIST-gcc := 4.7 4.8 4.9 5 6 7 8 9
|
|
+CC_WHITELIST-gcc := 4.7 4.8 4.9 5 6 7 8 9 10
|
|
CC_WHITELIST-clang := 3.6 3.7 3.8 3.9 4.0 5.0 6.0 7.0 8.0 9.0
|
|
CC_WHITELIST := $(CC_WHITELIST-$(CC_TYPE))
|
|
|