diff --git a/l4/Makefile b/l4/Makefile index 61f55524..814d5fe3 100644 --- a/l4/Makefile +++ b/l4/Makefile @@ -480,7 +480,6 @@ define switch_ram_base_func echo "# File semi-automatically generated by 'make switch_ram_base'" > $(OBJ_BASE)/Makeconf.ram_base; \ echo "RAM_BASE := $(1)" >> $(OBJ_BASE)/Makeconf.ram_base; \ PWD=$(PWD)/l4re-core/pkg/sigma0/server/src $(MAKE) RAM_BASE=$(1) -C pkg/l4re-core/sigma0/server/src; \ - PWD=$(PWD)/l4re-core/pkg/moe/server/src $(MAKE) RAM_BASE=$(1) -C pkg/l4re-core/moe/server/src; \ echo "RAM_BASE_SWITCH_OK := yes" >> $(OBJ_BASE)/Makeconf.ram_base endef