aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ada/osint-c.adb9
1 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ada/osint-c.adb b/gcc/ada/osint-c.adb
index 8ef8b8b..4fc0998 100644
--- a/gcc/ada/osint-c.adb
+++ b/gcc/ada/osint-c.adb
@@ -475,15 +475,14 @@ package body Osint.C is
begin
-- Make sure that the object file has the expected extension
+ -- Allow for either .o or .c (for C code generation)
if NL <= EL
or else
- (Name (NL - EL + Name'First .. Name'Last) /= Ext
+ (not Generate_Asm
+ and then Name (NL - EL + Name'First .. Name'Last) /= Ext
and then Name (NL - 2 + Name'First .. Name'Last) /= ".o"
- and then not Generate_Asm
- and then
- (not Generate_C_Code
- or else Name (NL - 2 + Name'First .. Name'Last) /= ".c"))
+ and then Name (NL - 2 + Name'First .. Name'Last) /= ".c")
then
Fail ("incorrect object file extension");
end if;