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, 31 insertions, 0 deletions
diff --git a/debian/patches/gcc-SOURCE_DATE_EPOCH-2-doc.diff b/debian/patches/gcc-SOURCE_DATE_EPOCH-2-doc.diff new file mode 100644 index 0000000..ab037da --- /dev/null +++ b/debian/patches/gcc-SOURCE_DATE_EPOCH-2-doc.diff @@ -0,0 +1,31 @@ +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 |