updated on Thu Jan 26 00:18:00 UTC 2012
[aur-mirror.git] / gnat-gps / dump-xref.patch
blobb6274b4c9d5edc2860fdd9098c1a42b7cc055fa6
1 --- shared.gpr.orig 2011-10-15 22:51:47.916599465 +0300
2 +++ shared.gpr 2011-10-15 22:51:47.914599210 +0300
3 @@ -35,7 +35,7 @@
4 "-gnatwaCJe", "-gnat05");
6 for Default_Switches ("C") use
7 + ("-g", "-O1") & GnatColl_Shared.Gtk_Include;
8 - ("-g", "-O1", "-fdump-xref") & GnatColl_Shared.Gtk_Include;
10 when "Production" =>
11 for Default_Switches ("Ada") use