diff options
Diffstat (limited to 'dev-ada/gtkada/files/gtkada-2019-gentoo.patch')
| -rw-r--r-- | dev-ada/gtkada/files/gtkada-2019-gentoo.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-ada/gtkada/files/gtkada-2019-gentoo.patch b/dev-ada/gtkada/files/gtkada-2019-gentoo.patch deleted file mode 100644 index 79f58a41b2d1..000000000000 --- a/dev-ada/gtkada/files/gtkada-2019-gentoo.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/Makefile.in 2019-09-21 18:47:40.749628914 +0200 -+++ b/Makefile.in 2019-09-21 18:48:08.547200073 +0200 -@@ -30,7 +30,7 @@ - - GPRBUILD_FULL = ${GPRBUILD} -j${PROCESSORS} -m -p ${GPRBUILD_SWITCHES} - GPRINSTALL_FULL = ${GPRINSTALL} -p -f --project-subdir=$(PRJDIR) \ -- --build-var=GTKADA_BUILD,LIBRARY_TYPE --install-name=gtkada \ -+ --build-var=LIBRARY_TYPE --install-name=gtkada \ - --prefix=${DESTDIR}$(prefix) -XGTK_PREFIX=${prefix} - - GETTEXT_INTL=@GETTEXT_INTL@ |