diff options
Diffstat (limited to 'dev-ada/aunit/files/aunit-2016-gentoo.patch')
| -rw-r--r-- | dev-ada/aunit/files/aunit-2016-gentoo.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ada/aunit/files/aunit-2016-gentoo.patch b/dev-ada/aunit/files/aunit-2016-gentoo.patch new file mode 100644 index 000000000000..eeace666b45e --- /dev/null +++ b/dev-ada/aunit/files/aunit-2016-gentoo.patch @@ -0,0 +1,11 @@ +--- 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 |