4 Commits

Author	SHA1	Message	Date
Dmitry V. Levin	92e347b556	Add copyright headers to some files that lack them ... We do our best to keep copyright headers up to date, yet git history provides better information on this subject and is more accurate than copyright headers.	2018-12-24 23:46:43 +00:00
Dmitry V. Levin	c4c993b642	build: use more traditional git options ... The support of --no-patch alias to -s option in "git diff" and related git commands was added in git v1.8.4. * copyright-year-gen: Use "git show -s" instead of "git show --no-patch". * file-date-gen: Use "git log -s" instead of "git log --no-patch". Closes: https://github.com/strace/strace/issues/80	2018-11-24 01:22:13 +00:00
Dmitry V. Levin	31ce194d23	build: make it more reproducible ... * file-date-gen: Consistently print the UTC date in C locale. When $SOURCE_DATE_EPOCH is non-empty, use it as fallback date before the current system date. Reported-by: Chris Lamb <lamby@debian.org> Closes: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=896016 Closes: https://github.com/strace/strace/pull/68	2018-04-19 18:03:58 +00:00
Eugene Syromyatnikov	189320c6c7	Add script for generating date of the last commit for specific file ... * file-date-gen: New auxiliary script.	2017-08-10 21:36:01 +02:00