diff options
Diffstat (limited to 'gcc/ada/make.adb')
| -rw-r--r-- | gcc/ada/make.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/make.adb b/gcc/ada/make.adb index 7e0fd58cfb5..6b61456aa33 100644 --- a/gcc/ada/make.adb +++ b/gcc/ada/make.adb @@ -3501,7 +3501,6 @@ package body Make is begin Delete_File (Name => Mapping_File_Name, Success => Success); end; - end if; Exit_Program (E_Success); |