makefile: Fix generation of commit time in .git-commit-id file

This commit is contained in:
Mark Pizzolato 2018-08-02 11:21:37 -07:00
parent b18fa8c045
commit e4191c3750

View file

@ -211,8 +211,8 @@ ifeq ($(WIN32),) #*nix Environments (&& cygwin)
NEED_COMMIT_ID = need-commit-id NEED_COMMIT_ID = need-commit-id
endif endif
ifeq (need-commit-id,$(NEED_COMMIT_ID)) ifeq (need-commit-id,$(NEED_COMMIT_ID))
$isodate=$(shell git log -1 --pretty="%ai"|sed -e 's/ /T/'|sed -e 's/ //') isodate=$(shell git log -1 --pretty="%ai"|sed -e 's/ /T/'|sed -e 's/ //')
$(shell git log -1 --pretty="SIM_GIT_COMMIT_ID %H%nSIM_GIT_COMMIT_TIME $isodate" >.git-commit-id) $(shell git log -1 --pretty="SIM_GIT_COMMIT_ID %H%nSIM_GIT_COMMIT_TIME $(isodate)" >.git-commit-id)
endif endif
endif endif
LTO_EXCLUDE_VERSIONS = LTO_EXCLUDE_VERSIONS =