diff options
Diffstat (limited to 'platforms/Makefile.inc')
-rw-r--r-- | platforms/Makefile.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platforms/Makefile.inc b/platforms/Makefile.inc index 90cd0f1..3269532 100644 --- a/platforms/Makefile.inc +++ b/platforms/Makefile.inc @@ -1,7 +1,7 @@ PLATDIR = platforms SUBDIRS += $(PLATDIR) -PLATFORMS = $(PLATDIR)/built-in.o +PLATFORMS = $(PLATDIR)/built-in.a include $(SRC)/$(PLATDIR)/ibm-fsp/Makefile.inc include $(SRC)/$(PLATDIR)/rhesus/Makefile.inc |