[PATCH] src-release.sh: use --target

[Tristan Gingold]

On 14 Oct 2014, at 14:12, Joel Brobecker <brobecker@adacore.com> wrote:

>> this one-line change is to execute src-release.sh on platforms
>> different from i386-pc-linux-gnu (otherwise I get compilation
>> error while compiling trad-core.c which is native only).
>> 
>> Ok for trunk ?
>> (I plan to backport it to the 2.25 branch).
>> Tested while building the 2.25 branch.
>> 
>> Tristan.
>> 
>> 2014-10-14  Tristan Gingold  <gingold@adacore.com>
>> 
>> 	* src-release.sh (do_proto_toplev): Configure with --target.
> 
> FWIW, no objection from me.

Thanks, now committed.

> I'm actually wondering why we are
> specifying the host/target in the first place, but that's not
> very important.

Not all hosts support all modules ?

Tristan.