security-and-privacy/gnupg
security-and-privacy/gnupg
1
0
Fork 0
mirror of git://git.gnupg.org/gnupg.git synced 2025-07-02 22:46:30 +02:00
Code Activity

build: Fix recent commit for SOURCE_DATE_EPOCH.

Browse source 
--

Fixes-commit: 074ab108e7
which was recently pushed to make use of $SOURCE_DATE_EPOCH
as fallback.

Also fixes two typos
This commit is contained in:
Werner Koch 2020-06-08 18:45:55 +02:00
parent c1c607a51c
commit 61bb75d045
No known key found for this signature in database
GPG key ID: E3FDFF218E45B72B
3 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/Makefile.am
View file

@ -177,8 +177,8 @@ defsincdate: $(gnupg_TEXINFOS)
if test -e $(top_srcdir)/.git; then \
(cd $(srcdir) && git log -1 --format='%ct' \
-- $(gnupg_TEXINFOS) 2>/dev/null) >>defsincdate; \
elif test x"$SOURCE_DATE_EPOCH" != x; then \
echo "$SOURCE_DATE_EPOCH" >>defsincdate ; \
elif test x"$$SOURCE_DATE_EPOCH" != x; then \
echo "$$SOURCE_DATE_EPOCH" >>defsincdate ; \
fi
defs.inc : defsincdate Makefile mkdefsinc