Makefile.in, [...]: Remove obsolete targets referencing gen-soccon When generating s-oscons.ads...

2008-08-06  Thomas Quinot  <quinot@adacore.com>
 
	* gcc-interface/Makefile.in, gcc-interface/Make-lang.in:
	Remove obsolete targets referencing gen-soccon
	When generating s-oscons.ads, use a file name that includes the
	THREAD_KIND, to ensure that the (potentially different) version from a
	previous build with a different threads flavour does not get reused.

From-SVN: r138788
This commit is contained in:
Thomas Quinot 2008-08-06 11:43:10 +02:00 committed by Arnaud Charlet
parent 46fbbc83a3
commit e93d146b83

View file

@ -1,3 +1,11 @@
2008-08-06 Thomas Quinot <quinot@adacore.com>
* gcc-interface/Makefile.in, gcc-interface/Make-lang.in:
Remove obsolete targets referencing gen-soccon
When generating s-oscons.ads, use a file name that includes the
THREAD_KIND, to ensure that the (potentially different) version from a
previous build with a different threads flavour does not get reused.
2008-08-06 Thomas Quinot <quinot@adacore.com>
* sem_res.adb: Minor reformatting