diff options
Diffstat (limited to 'devel/gnat-gps/shared.gpr.diff')
-rw-r--r-- | devel/gnat-gps/shared.gpr.diff | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/gnat-gps/shared.gpr.diff b/devel/gnat-gps/shared.gpr.diff new file mode 100644 index 0000000000..30a9635b35 --- /dev/null +++ b/devel/gnat-gps/shared.gpr.diff @@ -0,0 +1,11 @@ +--- gps-5.0.1-src/shared.gpr.orig 2010-09-09 10:25:16.000000000 +0200 ++++ gps-5.0.1-src/shared.gpr 2011-10-12 14:57:52.638925722 +0200 +@@ -35,7 +35,7 @@ + "-gnatwaCJe", "-gnat05"); + + for Default_Switches ("C") use +- ("-g", "-O1", "-fdump-xref") & GnatColl_Shared.Gtk_Include; ++ ("-g", "-O1") & GnatColl_Shared.Gtk_Include; + + when "Production" => + for Default_Switches ("Ada") use |