Makefile.rtl (GNATRTL_NONTASKING_OBJ): Add s-soliin to GNATRTL_NONTASKING_OBJ.
authorPatrick Bernardi <bernardi@adacore.com>
Sat, 14 Oct 2017 16:33:30 +0000 (16:33 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Sat, 14 Oct 2017 16:33:30 +0000 (16:33 +0000)
commita0b0d710266ee06d1cd17fd16452aff9b614d62a
tree428eeb1ea22c3bb520d858504f71b18b96c227c7
parentbad0a3df0bd3f7e1fca8dfeb718e98a34257dfda
Makefile.rtl (GNATRTL_NONTASKING_OBJ): Add s-soliin to GNATRTL_NONTASKING_OBJ.

2017-10-14  Patrick Bernardi  <bernardi@adacore.com>

* Makefile.rtl (GNATRTL_NONTASKING_OBJ): Add s-soliin to
GNATRTL_NONTASKING_OBJ.

From-SVN: r253755
gcc/ada/ChangeLog
gcc/ada/Makefile.rtl