public
/
toolchain
5
0
Fork 0
Code Issues 5 Pull Requests 1 Packages Projects Releases Wiki Activity

Inform user when reproduce works

This commit is contained in:
Lance Vick 2023-04-04 14:52:04 -07:00
parent 8027bcc0b5
commit 26ad161faf
Signed by: lrvick
GPG Key ID: 8E47A1EC35A1551D
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Makefile
View File

@ -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):