diff --git a/Makefile b/Makefile index 5d19b44..98ce4a6 100644 --- a/Makefile +++ b/Makefile @@ -85,7 +85,7 @@ toolchain-clean: .PHONY: attest attest: rm -rf $(CACHE_DIR) $(OUT_DIR) - $(MAKE) + $(MAKE) TARGET=$(TARGET) VERSION=$(VERSION) diff -q $(OUT_DIR)/manifest.txt release/$(VERSION)/manifest.txt; $(RELEASE_DIR):