diff options
Diffstat (limited to 'libgcc/configure')
| -rw-r--r-- | libgcc/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libgcc/configure b/libgcc/configure index e6d42a1e46d..c1a76ee1557 100644 --- a/libgcc/configure +++ b/libgcc/configure @@ -3651,8 +3651,8 @@ else enable_decimal_float=yes ;; *) - { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: decimal float is not supported for this target" >&5 -$as_echo "$as_me: WARNING: decimal float is not supported for this target" >&2;} + { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: decimal float is not supported for this target, ignored" >&5 +$as_echo "$as_me: WARNING: decimal float is not supported for this target, ignored" >&2;} enable_decimal_float=no ;; esac |