diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-12-14 17:20:00 +0100 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2017-03-01 20:58:37 +0100 |
commit | 817a07120925c55d754a4fc8f50b95e1d216d4c7 (patch) | |
tree | 8ce19ec061e3c7a008a69f8f69c0bce468e43920 /libguile | |
parent | 4d3a14924fd0a3f8d282302322131112d1113bcb (diff) |
build: Honor $SOURCE_DATE_EPOCH for the recorded timestamp.
Reported by Jan Nieuwenhuizen <janneke@gnu.org>
at <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=20272#36>.
* libguile/Makefile.am (libpath.h): Honor 'SOURCE_DATE_EPOCH'.
Diffstat (limited to 'libguile')
-rw-r--r-- | libguile/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libguile/Makefile.am b/libguile/Makefile.am index fa602201c..07466069f 100644 --- a/libguile/Makefile.am +++ b/libguile/Makefile.am @@ -740,7 +740,8 @@ libpath.h: $(srcdir)/Makefile.in $(top_builddir)/config.status >> libpath.tmp @echo ' { "LIBS", "@GUILE_LIBS@" }, \' >> libpath.tmp @echo ' { "CFLAGS", "@GUILE_CFLAGS@" }, \' >> libpath.tmp - @echo ' { "buildstamp", "'`date -u +'%Y-%m-%d %T'`'" }, \' >> libpath.tmp + @BUILD_DATE="$${SOURCE_DATE_EPOCH:-`date '+%s'`}" ; \ + echo ' { "buildstamp", "'`date -u +'%Y-%m-%d %T' -d @$$BUILD_DATE`'" }, \' >> libpath.tmp @echo '}' >> libpath.tmp $(AM_V_GEN)mv libpath.tmp libpath.h |