diff options
Diffstat (limited to 'devel/gps/files/patch-gnatlib-gnatcoll_shared.gpr.in')
| -rw-r--r-- | devel/gps/files/patch-gnatlib-gnatcoll_shared.gpr.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/gps/files/patch-gnatlib-gnatcoll_shared.gpr.in b/devel/gps/files/patch-gnatlib-gnatcoll_shared.gpr.in new file mode 100644 index 000000000000..68125cdf2a9d --- /dev/null +++ b/devel/gps/files/patch-gnatlib-gnatcoll_shared.gpr.in @@ -0,0 +1,11 @@ +--- gnatlib/gnatcoll_shared.gpr.in.orig 2010-12-04 00:20:09 +0000 ++++ gnatlib/gnatcoll_shared.gpr.in +@@ -45,7 +45,7 @@ project GnatColl_Shared is + for Switches ("Ada") use + ("-g", "-O1", "-gnata", "-gnatVa", "-gnatQ", "-gnaty", + "-gnatwaCJe", "-gnat05"); +- for Switches ("C") use ("-g", "-fdump-xref"); ++ for Switches ("C") use ("-g"); + when "Production" => + for Switches ("Ada") use + ("-O2", "-gnatn", "-gnatws", "-gnat05"); |