diff options
Diffstat (limited to 'dev-ada/libadalang/files/libadalang-2017-gentoo.patch')
-rw-r--r-- | dev-ada/libadalang/files/libadalang-2017-gentoo.patch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/dev-ada/libadalang/files/libadalang-2017-gentoo.patch b/dev-ada/libadalang/files/libadalang-2017-gentoo.patch deleted file mode 100644 index dc84915ad5a0..000000000000 --- a/dev-ada/libadalang/files/libadalang-2017-gentoo.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- libadalang-gps-src/ada/testsuite/testsuite_support/capi_driver.py 2017-07-30 16:01:31.495287196 +0200 -+++ libadalang-gps-src/ada/testsuite/testsuite_support/capi_driver.py.old 2017-07-30 16:00:08.104464440 +0200 -@@ -72,6 +72,7 @@ - -- different default standard. - - "-I{support_include_dir}", "-g"); -+ for Driver ("C") use External ("GCC", "gcc"); - end Compiler; - end P; - '''.format(main_source=compile_units[0], |