* gcc-interface/misc.c (gnat_post_options): Issue a warning if
commitb2bf7f847e8af83248b10142eb4e8925abfe7849
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 14 Sep 2015 07:53:49 +0000 (14 07:53 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 14 Sep 2015 07:53:49 +0000 (14 07:53 +0000)
tree962833f3b63a8b033f2bc5e594c44682f5126679
parent9ac7350ef4f5b9c5566b00f263ed741888d888be
* gcc-interface/misc.c (gnat_post_options): Issue a warning if
generating STABS debugging information when not the default.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@227737 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gcc-interface/misc.c