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 755fa31da85..66dfea8ed73 100644 --- a/gcc/ada/Makefile.rtl +++ b/gcc/ada/Makefile.rtl @@ -368,6 +368,7 @@ GNATRTL_NONTASKING_OBJS= \ g-socket$(objext) \ g-socthi$(objext) \ g-soliop$(objext) \ + g-sothco$(objext) \ g-souinf$(objext) \ g-speche$(objext) \ g-spchge$(objext) \ |