make.adb: Minor...
authorArnaud Charlet <charlet@adacore.com>
Mon, 2 May 2016 09:47:42 +0000 (09:47 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 2 May 2016 09:47:42 +0000 (11:47 +0200)
commitfb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0
tree671832a064bd02e58a1624155c867a532363726b
parent7cc9a6a92d7d1b094a3cf0e8c3149a304c2c5e6b
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
gcc/ada/ChangeLog
gcc/ada/lib-xref-spark_specific.adb
gcc/ada/make.adb