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: