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

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