Always build libcompiler_rt

Makes testing kernonly mode easier, don't need a separate build
for it (or even the hackish shortcut of editing KERNONLY in config.mk)

diff --git a/platform/Makefile.inc b/platform/Makefile.inc
index da7b381f5d02fadbdfa5e27108724c614b6d6017..d0f7c132c35028332aa5b63c1c3d4f0645587d04 100644 (file)
--- a/platform/Makefile.inc
+++ b/platform/Makefile.inc
@@ -3,10 +3,11 @@ $(error need to specify $$PLATFORM!)
 endif
 
 ifneq (${KERNONLY},true)
-TARGETS:= userlibs
-else
-TARGETS:= compiler_rt
+TARGETS= userlibs
 endif
+# XXX: compiler_rt needs to be built only for KERNONLY=true,
+# building it always makes testing easier
+TARGETS+= compiler_rt
 
 ifeq (${BUILDRR},true)
 CPPFLAGS+=      -I${RROBJ}/dest.stage/include