r235725 - in /trunk/gcc/ada: ChangeLog lib-xref...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon May  2 09:47:42 2016
New Revision: 235725

URL: https://gcc.gnu.org/viewcvs?rev=235725&root=gcc&view=rev
Log:
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.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/lib-xref-spark_specific.adb
    trunk/gcc/ada/make.adb