diff options
Diffstat (limited to 'gcc/ada/Makefile.rtl')
| -rw-r--r-- | gcc/ada/Makefile.rtl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/Makefile.rtl b/gcc/ada/Makefile.rtl index 9e45d01e1b7..10031f8e07d 100644 --- a/gcc/ada/Makefile.rtl +++ b/gcc/ada/Makefile.rtl @@ -46,6 +46,7 @@ GNATRTL_TASKING_OBJS= \ s-intman$(objext) \ s-osinte$(objext) \ s-proinf$(objext) \ + s-solita$(objext) \ s-taenca$(objext) \ s-taprob$(objext) \ s-taprop$(objext) \ |