[Ada] gnatlink "--GCC=gcc -xxx"

[Arnaud Charlet <charlet at adacore dot com>]

When gnatlink was invoked with --GCC= that specified the expected
executable (gcc or <prefix>-gcc) with additional switches, the scanning
of the ALI file to get the back end switches was inhibited. This patch
corrects this: the scanning of the ALI file occurs.

The test for this is to invoke gnatlink with "--GCC=gcc -gnatv" -v and
to check that the binder generated source is compiled with the back end
switches from the ALI file (such as -O2).

Tested on i686-pc-linux-gnu, committed on trunk

2008-05-23  Vincent Celier  <celier@adacore.com>

	* gnatlink.adb (Process_Args): Do not disable scanning of ALI file for
	back end switches when executable specified with --GCC= is same as
	default, even if there are additional options.

	* gnat_ugn.texi:
	Document when the back end switches from the ALI file are taken into
	account when gnatlink is invoked with --GCC=

Attachment: difs
Description: Text document