diff options
Diffstat (limited to 'dev-ada/aunit/files/aunit-2017-gentoo.patch')
| -rw-r--r-- | dev-ada/aunit/files/aunit-2017-gentoo.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-ada/aunit/files/aunit-2017-gentoo.patch b/dev-ada/aunit/files/aunit-2017-gentoo.patch deleted file mode 100644 index eeace666b45e..000000000000 --- a/dev-ada/aunit/files/aunit-2017-gentoo.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- aunit-3.8.0w-src/Makefile.old 2017-01-04 18:13:29.634899987 +0100 -+++ aunit-3.8.0w-src/Makefile 2017-01-04 18:15:59.013219503 +0100 -@@ -29,7 +29,7 @@ - .PHONY: all clean targets install_clean install - - all: -- $(GPRBUILD) -p $(GPROPTS) lib/gnat/aunit.gpr -+ $(GPRBUILD) -p $(GPROPTS) lib/gnat/aunit.gpr -cargs $(ADAFLAGS) - - clean-lib: - $(RM) -fr lib/aunit lib/aunit-obj |