parser: merge fix from intrigeri to techdoc timestamp generator to

ensure reproducible builds across timezone variations.
This commit is contained in:
Steve Beattie 2015-05-05 08:06:49 -07:00
commit 257bc75aa1

View file

@ -140,7 +140,7 @@ po/${NAME}.pot: ${SRCS} ${HDRS}
$(MAKE) -C po ${NAME}.pot NAME=${NAME} SOURCES="${SRCS} ${HDRS}"
techdoc.pdf: techdoc.tex
timestamp=$(shell date "+%Y%m%d%H%M%S+02'00'" -r $< );\
timestamp=$(shell date --utc "+%Y%m%d%H%M%S%z" -r $< );\
while pdflatex "\def\fixedpdfdate{$$timestamp}\input $<" ${BUILD_OUTPUT} || exit 1 ; \
grep -q "Label(s) may have changed" techdoc.log; \
do :; done