blob: dc84915ad5a036d85df19e9d74e8f0b5c90f05e4 (
plain)
1
2
3
4
5
6
7
8
9
10
|
--- 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],
|
