diff options
Diffstat (limited to 'gcc/config/mips/mips.c')
| -rw-r--r-- | gcc/config/mips/mips.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/config/mips/mips.c b/gcc/config/mips/mips.c index 450b01d..e3b4b31 100644 --- a/gcc/config/mips/mips.c +++ b/gcc/config/mips/mips.c @@ -4131,6 +4131,10 @@ override_options (void) target_flags &= ~MASK_LONG64; } + /* Deprecate -mint64. Remove after 4.0 branches. */ + if ((target_flags_explicit & MASK_INT64) != 0) + warning ("-mint64 is a deprecated option"); + if (MIPS_MARCH_CONTROLS_SOFT_FLOAT && (target_flags_explicit & MASK_SOFT_FLOAT) == 0) { |