From d6f65901f96484993b18c1fe6c070117ffdd8e24 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Tue, 30 May 2023 16:57:39 +0200 Subject: [PATCH] Add trace policy binary to BUILD_ARTIFACTS --- repos/os/src/trace/policy/policy.inc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/repos/os/src/trace/policy/policy.inc b/repos/os/src/trace/policy/policy.inc index ce8169e47a..2bd3553fd8 100644 --- a/repos/os/src/trace/policy/policy.inc +++ b/repos/os/src/trace/policy/policy.inc @@ -32,6 +32,8 @@ $(INSTALL_DIR)/$(TARGET_POLICY): $(TARGET_POLICY).elf $(TARGET): $(INSTALL_DIR)/$(TARGET_POLICY) +BUILD_ARTIFACTS := $(TARGET_POLICY) + clean cleanall: clean_policy clean_policy: