From 6b80ffa508bf659e42c8b216b7ca4eba9f0ca086 Mon Sep 17 00:00:00 2001
From: Maxim Baryshnikov <barysmax@fel.cvut.cz>
Date: Sat, 23 Apr 2016 12:32:09 +0200
Subject: [PATCH] fiasco: elfimage: Use custom bootstrap instead to build
 elfimages.

---
 l4/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/l4/Makefile b/l4/Makefile
index 8e2019039..f42ff3afe 100644
--- 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)"
-- 
2.39.2