diff options
Diffstat (limited to 'debian/patches/gcc-SOURCE_DATE_EPOCH-2-doc.diff')
| -rw-r--r-- | debian/patches/gcc-SOURCE_DATE_EPOCH-2-doc.diff | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/debian/patches/gcc-SOURCE_DATE_EPOCH-2-doc.diff b/debian/patches/gcc-SOURCE_DATE_EPOCH-2-doc.diff deleted file mode 100644 index ab037da..0000000 --- a/debian/patches/gcc-SOURCE_DATE_EPOCH-2-doc.diff +++ /dev/null @@ -1,31 +0,0 @@ -gcc/ChangeLog: - -2016-05-13 Eduard Sanou <dhole@openmailbox.org> - - * doc/cppenv.texi: Note that the `%s` in `date` is a non-standard - extension. - -diff --git a/gcc/doc/cppenv.texi b/gcc/doc/cppenv.texi -index e958e93..8cefd52 100644 ---- a/src/gcc/doc/cppenv.texi -+++ b/src/gcc/doc/cppenv.texi -@@ -81,7 +81,6 @@ main input file is omitted. - @end ifclear - - @item SOURCE_DATE_EPOCH -- - If this variable is set, its value specifies a UNIX timestamp to be - used in replacement of the current date and time in the @code{__DATE__} - and @code{__TIME__} macros, so that the embedded timestamps become -@@ -89,8 +88,9 @@ reproducible. - - The value of @env{SOURCE_DATE_EPOCH} must be a UNIX timestamp, - defined as the number of seconds (excluding leap seconds) since --01 Jan 1970 00:00:00 represented in ASCII, identical to the output of --@samp{@command{date +%s}}. -+01 Jan 1970 00:00:00 represented in ASCII; identical to the output of -+@samp{@command{date +%s}} on GNU/Linux and other systems that support the -+@code{%s} extension in the @code{date} command. - - The value should be a known timestamp such as the last modification - time of the source or package and it should be set by the build |