From e23cc72ac6b9049b86622e5d36fcbb59163fa38f Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Mon, 5 Apr 2021 22:30:13 +0100 Subject: [PATCH] Work around bug in `release` target of protocol/Makefile. Signed-off-by: Daira Hopwood --- protocol/Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/protocol/Makefile b/protocol/Makefile index 599d3c08..e6b7defd 100644 --- a/protocol/Makefile +++ b/protocol/Makefile @@ -32,7 +32,6 @@ else $(MAKE) clean all git add *.pdf git commit -m "Regenerate PDFs." *.pdf - if [[ "$(shell git diff HEAD |wc -l)" != "0" ]]; then echo "The working tree is not clean."; exit 1; fi git tag "v$(TAG)" git push --tags origin HEAD:master endif