OSDN Git Service

* gcc-interface/Make-lang.in (ada/doctools/xgnatugn): Use gnatmake.
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 13 Dec 2013 09:20:09 +0000 (09:20 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 13 Dec 2013 09:20:09 +0000 (09:20 +0000)
commitda575e8854e77a45ae19f10b41c9b5283dc6cff0
tree011135fa2e716c63604589e91da5d76acfadf051
parent3166870dd9e16ea4f2c09822d0658ccd9740269e
* gcc-interface/Make-lang.in (ada/doctools/xgnatugn): Use gnatmake.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch@205956 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gcc-interface/Make-lang.in