fiasco: elfimage: Use custom bootstrap instead to build elfimages.

diff --git a/l4/Makefile b/l4/Makefile
index 8e2019039a841979f94c703e0d47b2d6eedf34d1..f42ff3afecd9d06e9c16201c8dc20e17f8cd003c 100644 (file)
--- a/l4/Makefile
+++ b/l4/Makefile
@@ -441,8 +441,8 @@ endef
 define genimage
        +$(VERBOSE)$(entryselection);                                     \
        $(MKDIR) $(IMAGES_DIR);                                           \
-       PWD=$(PWD)/pkg/bootstrap/server/src $(common_envvars)             \
-           $(MAKE) -C pkg/bootstrap/server/src ENTRY="$$e"               \
+       PWD=$(PWD)/pkg/bootstrap_custom/server/src $(common_envvars)             \
+           $(MAKE) -C pkg/bootstrap_custom/server/src ENTRY="$$e"               \
                    BOOTSTRAP_MODULES_LIST=$$ml $(1)                      \
                    BOOTSTRAP_MODULE_PATH_BINLIB="$(BUILDDIR_SEARCHPATH)" \
                    BOOTSTRAP_SEARCH_PATH="$(MODULE_SEARCH_PATH)"