diff options
Diffstat (limited to 'gcc/ada/Makefile.rtl')
| -rw-r--r-- | gcc/ada/Makefile.rtl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/Makefile.rtl b/gcc/ada/Makefile.rtl index aa92689fb11..d1d34ee958f 100644 --- a/gcc/ada/Makefile.rtl +++ b/gcc/ada/Makefile.rtl @@ -391,9 +391,14 @@ GNATRTL_NONTASKING_OBJS= \ s-fatsfl$(objext) \ s-ficobl$(objext) \ s-fileio$(objext) \ + s-filofl$(objext) \ + s-fishfl$(objext) \ s-finimp$(objext) \ s-finroo$(objext) \ s-fore$(objext) \ + s-fvadfl$(objext) \ + s-fvaffl$(objext) \ + s-fvagfl$(objext) \ s-geveop$(objext) \ s-htable$(objext) \ s-imgbiu$(objext) \ |