We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d2c97fd commit 6599131Copy full SHA for 6599131
Makefile
@@ -88,8 +88,8 @@ GIT_REFRESH_PREREQ := .git/objects
88
89
# determine if version.inc needs to get updated as git repository has changed
90
ifeq ($(wildcard version.inc), version.inc)
91
-MTIME_VERSION := $(shell date +%s -r version.inc)
92
-MTIME_GIT_REPO := $(shell date +%s -r $(GIT_REFRESH_PREREQ))
+MTIME_VERSION := $(shell date -r version.inc +%s)
+MTIME_GIT_REPO := $(shell date -r $(GIT_REFRESH_PREREQ) +%s)
93
REFRESH_VERSION_INC := $(shell if [ $(MTIME_GIT_REPO) -gt $(MTIME_VERSION) ]; \
94
then echo y; else echo n; fi)
95
else
0 commit comments