From 80f704ae0ef9d8c5173a13a3c88dd8f3684a10fe Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Thu, 30 Mar 2017 17:37:26 +0200 Subject: [PATCH] muen: Update Muen build target.mk --- repos/base-hw/src/kernel/spec/muen/target.mk | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/repos/base-hw/src/kernel/spec/muen/target.mk b/repos/base-hw/src/kernel/spec/muen/target.mk index db6453310..13f84d332 100644 --- a/repos/base-hw/src/kernel/spec/muen/target.mk +++ b/repos/base-hw/src/kernel/spec/muen/target.mk @@ -17,11 +17,15 @@ BUILD_OPTS = SYSTEM=$(MUEN_SYSTEM) HARDWARE=$(MUEN_HARDWARE) NO_PROOF=true ifneq ($(filter muen, $(SPECS)),) $(TARGET): $(MUEN_DST_DIR) - $(MSG_BUILD)Muen kernel - $(VERBOSE)$(BUILD_ENV) $(MAKE) -C $(MUEN_DST_DIR) $(BUILD_OPTS) kernel >> $(MUEN_LOG) 2>&1 + $(MSG_BUILD)Muen policy + $(VERBOSE)$(BUILD_ENV) $(MAKE) -C $(MUEN_DST_DIR) $(BUILD_OPTS) policy-merge rts >> $(MUEN_LOG) 2>&1 $(MSG_BUILD)Muen components $(VERBOSE)$(BUILD_ENV) $(MAKE) -C $(MUEN_DST_DIR)/components \ COMPONENTS=$(MUEN_COMPONENTS) $(BUILD_OPTS) >> $(MUEN_LOG) 2>&1 + $(MSG_BUILD)Muen kernel + $(VERBOSE)$(BUILD_ENV) $(MAKE) -C $(MUEN_DST_DIR)/policy $(BUILD_OPTS) compile >> $(MUEN_LOG) 2>&1 + $(VERBOSE)$(BUILD_ENV) $(MAKE) -C $(MUEN_DST_DIR)/kernel $(BUILD_OPTS) >> $(MUEN_LOG) 2>&1 + $(VERBOSE)$(BUILD_ENV) $(MAKE) -C $(MUEN_DST_DIR)/components $(BUILD_OPTS) install-tau0 >> $(MUEN_LOG) 2>&1 $(MUEN_DST_DIR): download_contrib $(VERBOSE)mkdir -p $(MUEN_DST_DIR)