| commit | 5c864f3bc6bb2c45e078d721c7c396a3722af56d | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 2 May 2016 09:47:42 +0000 (2 09:47 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 2 May 2016 09:47:42 +0000 (2 09:47 +0000) | ||
| tree | 671832a064bd02e58a1624155c867a532363726b | treesnapshot (tar.gz zip) |
| parent | 5ddfcfd832ffac9fec72ab9885c77b317e62a303 | commitdiff |
2016-05-02 Arnaud Charlet <charlet@adacore.com>
* make.adb: Minor: avoid an exception when calling gnatmake with
no argument and gnatmake is built with checks on.
* lib-xref-spark_specific.adb: Minor code cleanup.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235725 138bc75d-0d04-0410-961f-82ee72b054a4
* make.adb: Minor: avoid an exception when calling gnatmake with
no argument and gnatmake is built with checks on.
* lib-xref-spark_specific.adb: Minor code cleanup.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235725 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/lib-xref-spark_specific.adb | diffblobblamehistory | |
| gcc/ada/make.adb | diffblobblamehistory |