update

[l4.git] / kernel / fiasco / Makefile

diff --git a/kernel/fiasco/Makefile b/kernel/fiasco/Makefile
index bf9cef8a3aff2e2d6186cfb955ca1b1dd2fc80a7..0a63e9b137ed833cbc3657284ef59a9621e58742 100644 (file)
--- a/kernel/fiasco/Makefile
+++ b/kernel/fiasco/Makefile
@@ -13,6 +13,7 @@ INSTALLSUBDIRS        := $(MANSUBDIRS)
 CLEANSUBDIRS   := $(MANSUBDIRS) $(wildcard $(DFLBUILDDIR))
 CONFIG_FILE    := $(TEMPLDIR)/globalconfig.out
 TEST_TEMPLATES := $(patsubst $(CONFIG_FILE).%,%,$(wildcard $(CONFIG_FILE).*))
+TEST_TEMPLATES  := $(if $(TEMPLATE_FILTER),$(filter $(TEMPLATE_FILTER),$(TEST_TEMPLATES)),$(TEST_TEMPLATES))
 DFL_TEMPLATE   := ia32-1
 PL             ?= 1
 
@@ -110,7 +111,7 @@ checkall l4check:
 
 list:
                @echo "Templates:"
-               @echo $(patsubst $(TEMPLDIR)/globalconfig.out.%,%,$(wildcard $(TEMPLDIR)/globalconfig.out.*))
+               @echo $(TEST_TEMPLATES)
 
 randcheck:
                $(RM) -r $(RANDBUILDDIR);                                     \