diff options
author | Arnaud Charlet <charlet@adacore.com> | 2016-05-02 09:47:42 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 11:47:42 +0200 |
commit | fb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0 (patch) | |
tree | 671832a064bd02e58a1624155c867a532363726b /gcc/ada/lib-xref.adb | |
parent | 7cc9a6a92d7d1b094a3cf0e8c3149a304c2c5e6b (diff) | |
download | gcc-fb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0.zip gcc-fb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0.tar.gz gcc-fb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0.tar.bz2 |
make.adb: Minor...
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.
From-SVN: r235725
Diffstat (limited to 'gcc/ada/lib-xref.adb')
0 files changed, 0 insertions, 0 deletions