From: Paul Smith <psmith@gnu.org>
Date: Sun, 14 Mar 2021 19:53:45 +0000 (-0400)
Subject: * maintMakefile: Don't make .check-git-HEAD .PHONY
X-Git-Tag: 4.3.90~186
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d9aff6b81731ba55a502d3768a55233b666877fd;p=thirdparty%2Fmake.git

* maintMakefile: Don't make .check-git-HEAD .PHONY
---

diff --git a/maintMakefile b/maintMakefile
index 49067987..e3edd0a0 100644
--- a/maintMakefile
+++ b/maintMakefile
@@ -137,12 +137,13 @@ ChangeLog: .check-git-HEAD
 	    echo "WARNING: $(gl2cl) is not available.  No $@ generated."; \
 	fi
 
-.PHONY: .check-git-HEAD
-.check-git-HEAD:
+.check-git-HEAD: FORCE
 	sha="`git rev-parse HEAD`"; \
 	test -f '$@' && [ "`cat '$@' 2>/dev/null`" = "$$sha" ] \
 	    || echo "$$sha" > '$@'
 
+.PHONY: FORCE
+FORCE:;@:
 
 ## ---------------- ##
 ## Updating files.  ##