git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

projects / thirdparty / gcc.git / commit

author	Arnaud Charlet <charlet@adacore.com>
	Mon, 2 May 2016 09:47:42 +0000 (09:47 +0000)
committer	Arnaud Charlet <charlet@gcc.gnu.org>
	Mon, 2 May 2016 09:47:42 +0000 (11:47 +0200)
commit	fb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0
tree	671832a064bd02e58a1624155c867a532363726b	tree \| snapshot
parent	7cc9a6a92d7d1b094a3cf0e8c3149a304c2c5e6b	commit \| diff

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		diff \| blob \| blame \| history
gcc/ada/lib-xref-spark_specific.adb		diff \| blob \| blame \| history
gcc/ada/make.adb		diff \| blob \| blame \| history

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom