From 407525b571b48cfd65e1ad7a02d250a927c967c9 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 1 Dec 2017 03:04:39 +0000 Subject: gentoo resync : 01.12.2017 --- dev-ada/aunit/files/aunit-2017-gentoo.patch | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 dev-ada/aunit/files/aunit-2017-gentoo.patch (limited to 'dev-ada/aunit/files') 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 -- cgit v1.2.3