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

[Tristan Gingold]

Hello,

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.

--- src-release.sh
+++ src-release.sh
@@ -83,7 +83,7 @@ do_proto_toplev()
 	<Makefile.in >tmp
     mv -f tmp Makefile.in
     #
-    ./configure i686-pc-linux-gnu
+    ./configure --target=i386-pc-linux-gnu
     $MAKE configure-host configure-target \
 	ALL_GCC="" ALL_GCC_C="" ALL_GCC_CXX="" \
 	CC_FOR_TARGET="$CC" CXX_FOR_TARGET="$CXX"