diff options
author | Rod Kay | 2017-06-05 16:06:27 +1000 |
---|---|---|
committer | Rod Kay | 2017-06-05 16:06:27 +1000 |
commit | b385258825a42792c5530cff20382231567c6b95 (patch) | |
tree | 1b650e27db694fde826b58ec6a7dfa9b8009ef06 /patch-Makefile | |
parent | bc3ec435c7191a59378686fce5fbe3972a1dcf51 (diff) | |
download | aur-b385258825a42792c5530cff20382231567c6b95.tar.gz |
Update to latest git version
Diffstat (limited to 'patch-Makefile')
-rw-r--r-- | patch-Makefile | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/patch-Makefile b/patch-Makefile deleted file mode 100644 index c3c9f4ecb91e..000000000000 --- a/patch-Makefile +++ /dev/null @@ -1,19 +0,0 @@ -*** Makefile 2016-06-04 10:59:52.438996452 +1000 ---- Makefile-new 2016-06-04 11:00:02.238996854 +1000 -*************** -*** 68,74 **** - ifeq (${WITH_GTK},yes) - ${GPRINSTALL} ${GPRINST_OPTS} -Psrc/gnatcoll_gtk - endif -! ${GPRINSTALL} --mode=usage ${GPRINST_OPTS} -Psrc/gnatcoll_tools - - install_gps_plugin: force - mkdir -p $(prefix)/share/gps/plug-ins ---- 68,74 ---- - ifeq (${WITH_GTK},yes) - ${GPRINSTALL} ${GPRINST_OPTS} -Psrc/gnatcoll_gtk - endif -! # ${GPRINSTALL} --mode=usage ${GPRINST_OPTS} -Psrc/gnatcoll_tools - - install_gps_plugin: force - mkdir -p $(prefix)/share/gps/plug-ins |