diff options
Diffstat (limited to 'dev-lang/gnat-gpl/files')
| -rw-r--r-- | dev-lang/gnat-gpl/files/gnat-gpl-2017-gentoo.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/dev-lang/gnat-gpl/files/gnat-gpl-2017-gentoo.patch b/dev-lang/gnat-gpl/files/gnat-gpl-2017-gentoo.patch new file mode 100644 index 000000000000..e3a68c8f5096 --- /dev/null +++ b/dev-lang/gnat-gpl/files/gnat-gpl-2017-gentoo.patch @@ -0,0 +1,14 @@ +--- patch/13_all_default-ssp-fix.patch.old 2017-06-14 11:29:28.997183865 +0200 ++++ patch/13_all_default-ssp-fix.patch 2017-06-14 12:24:15.042271863 +0200 +@@ -39,9 +39,9 @@ + %{!fsyntax-only:%{S:%W{o*}%{!o*:-o %b.s}}}\ + %{fsyntax-only:-o %j} %{-param*}\ + + %{nostdlib:-nostdlib}\ +- %{coverage:-fprofile-arcs -ftest-coverage}"; ++ %{coverage:-fprofile-arcs -ftest-coverage}\ ++ %{fdump-scos:-fpreserve-decisions-generic}"; + +- static const char *asm_options = + --- a/gcc/params.def 2016-03-30 09:47:40.000000000 +0200 + +++ b/gcc/params.def 2016-09-19 12:56:58.443179039 +0200 + @@ -673,7 +673,7 @@ DEFPARAM (PARAM_INTEGER_SHARE_LIMIT, |