src-release.sh: configure using --target.
authorTristan Gingold <tristan.gingold@adacore.com>
Wed, 15 Oct 2014 07:50:53 +0000 (09:50 +0200)
committerTristan Gingold <tristan.gingold@adacore.com>
Wed, 15 Oct 2014 07:50:53 +0000 (09:50 +0200)
commit3e6153932030c3b6e5720f0a331e9a512f4522e6
tree95255042704f3e90349dfb538cd82941fc98e773
parent10c5f0a8a83c4fcec433a2498c4d205921413e6a
src-release.sh: configure using --target.

* src-release.sh (do_proto_toplev): Configure with --target.
ChangeLog
src-release.sh