diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2020-02-05 18:44:56 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2020-02-05 18:44:56 +0000 |
commit | 29aabba0ea759c6a2864ff5631735b67ee38e5e0 (patch) | |
tree | ab466b4dfa7abecb401b2f8039d08af4689306bb /dev-lang/gnat-gpl/files | |
parent | d42200bec37eef2a7478d88988ff00addd0a9202 (diff) |
gentoo resync : 05.02.2020
Diffstat (limited to 'dev-lang/gnat-gpl/files')
-rw-r--r-- | dev-lang/gnat-gpl/files/gcc-configure-texinfo.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/gnat-gpl/files/gcc-configure-texinfo.patch b/dev-lang/gnat-gpl/files/gcc-configure-texinfo.patch index ddc098ddbd58..99e90998a469 100644 --- a/dev-lang/gnat-gpl/files/gcc-configure-texinfo.patch +++ b/dev-lang/gnat-gpl/files/gcc-configure-texinfo.patch @@ -4,8 +4,8 @@ that it violates the cheesy version grep. http://bugs.gentoo.org/198182 ---- configure -+++ configure +--- a/configure ++++ b/configure @@ -3573,6 +3573,6 @@ : else |