diff options
-rw-r--r-- | gcc/ada/switch.adb | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/ada/switch.adb b/gcc/ada/switch.adb index 5da63eb..cd5f535 100644 --- a/gcc/ada/switch.adb +++ b/gcc/ada/switch.adb @@ -165,7 +165,10 @@ package body Switch is (Switch_Chars (First .. Last) = "-param" or else Switch_Chars (First .. Last) = "dumpdir" or else Switch_Chars (First .. Last) = "dumpbase" or else - Switch_Chars (First .. Last) = "dumpbase-ext"); + Switch_Chars (First .. Last) = "dumpbase-ext" or else + -- Can we remove auxbase-strip and auxbase already? + Switch_Chars (First .. Last) = "auxbase-strip" or else + Switch_Chars (First .. Last) = "auxbase"); end Is_Internal_GCC_Switch; --------------- |