OSDN Git Service

* gcc-interface/misc.c (gnat_handle_option): Do not populate gnat_argv.
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 2 Jul 2010 11:52:30 +0000 (11:52 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 2 Jul 2010 11:52:30 +0000 (11:52 +0000)
commit6761caec6bf325688f18b52d0b1ad51bc44cdb61
tree48e472912d0e7cb8f89259f5d4ba926c1ebe81df
parent6a920938da7b97eff0369c01da1ef5dd509e869d
* gcc-interface/misc.c (gnat_handle_option): Do not populate gnat_argv.
(gnat_handle_option): Allocate only one element for gnat_argv.
(gnat_init): Do not populate gnat_argv.

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