From 26ad161faf9da97cec3692599abb3da4f2f97581 Mon Sep 17 00:00:00 2001 From: "Lance R. Vick" Date: Tue, 4 Apr 2023 14:52:04 -0700 Subject: [PATCH] Inform user when reproduce works --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index c31f116..55e158c 100644 --- a/Makefile +++ b/Makefile @@ -96,7 +96,8 @@ reproduce: toolchain-clean mkdir -p $(OUT_DIR) cp $(DIST_DIR)/release.env $(OUT_DIR)/release.env $(MAKE) TARGET=$(TARGET) VERSION=$(VERSION) - diff -q $(OUT_DIR)/manifest.txt $(DIST_DIR)/manifest.txt; + diff -q $(OUT_DIR)/manifest.txt $(DIST_DIR)/manifest.txt \ + && echo "Success: $(OUT_DIR) and $(DIST_DIR) are identical" .PHONY: $(DIST_DIR) $(DIST_DIR):