X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/846ee6a4a27b3178b23b551e333750133da39d27..7d8b3f45f98773ba02057b81b90c31a12320c09e:/l4/mk/defconfig/config.ppc32

diff --git a/l4/mk/defconfig/config.ppc32 b/l4/mk/defconfig/config.ppc32
index a9a7c0174..5f38b615c 100644
--- a/l4/mk/defconfig/config.ppc32
+++ b/l4/mk/defconfig/config.ppc32
@@ -6,6 +6,7 @@
 # CONFIG_BUILD_ARCH_amd64 is not set
 # CONFIG_BUILD_ARCH_arm is not set
 CONFIG_BUILD_ARCH_ppc32=y
+# CONFIG_BUILD_ARCH_sparc is not set
 CONFIG_BUILD_ARCH="ppc32"
 CONFIG_BUILD_ABI_l4f=y
 CONFIG_BUILD_ABI="l4f"