diff options
Diffstat (limited to 'gcc/ada/osint.adb')
-rw-r--r-- | gcc/ada/osint.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/osint.adb b/gcc/ada/osint.adb index f4f879fec9d..7d2a973d1dd 100644 --- a/gcc/ada/osint.adb +++ b/gcc/ada/osint.adb @@ -2508,6 +2508,13 @@ package body Osint is return null; end if; + + elsif Current_Full_Obj_Stamp < Current_Full_Lib_Stamp then + Close (Lib_FD, Status); + + -- No need to check the status, we return null anyway + + return null; end if; end if; |