diff options
Diffstat (limited to 'gcc/ada/Makefile.rtl')
| -rw-r--r-- | gcc/ada/Makefile.rtl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/Makefile.rtl b/gcc/ada/Makefile.rtl index 9be0d727293..512310aa88f 100644 --- a/gcc/ada/Makefile.rtl +++ b/gcc/ada/Makefile.rtl @@ -395,8 +395,9 @@ GNATRTL_NONTASKING_OBJS= \ s-poosiz$(objext) \ s-powtab$(objext) \ s-purexc$(objext) \ + s-restri$(objext) \ s-rident$(objext) \ - s-rpc$(objext) \ + s-rpc$(objext) \ s-scaval$(objext) \ s-secsta$(objext) \ s-sequio$(objext) \ |