Merge tag 'debian/9.2.1-19'

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