diff options
Diffstat (limited to 'devel/aunit/files/patch-Makefile')
| -rw-r--r-- | devel/aunit/files/patch-Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/aunit/files/patch-Makefile b/devel/aunit/files/patch-Makefile deleted file mode 100644 index 29bdda09ec7d..000000000000 --- a/devel/aunit/files/patch-Makefile +++ /dev/null @@ -1,11 +0,0 @@ ---- Makefile.orig 2016-01-19 16:18:43 UTC -+++ Makefile -@@ -4,7 +4,7 @@ GPRBUILD = gprbuild - GPRCLEAN = gprclean - GPRINSTALL = gprinstall - --INSTALL:=$(shell exec=`which gprbuild`;if [ ! -x "$$exec" ]; then unset exec;fi;echo $$exec | sed -e 's/\/bin\/$(GPRBUILD).*//') -+INSTALL:=$(DESTDIR)$(PREFIX) - - ifeq ($(RTS),) - RTS=full |