diff options
author | Richard Earnshaw <richard.earnshaw@arm.com> | 2002-02-06 13:00:49 +0000 |
---|---|---|
committer | Richard Earnshaw <richard.earnshaw@arm.com> | 2002-02-06 13:00:49 +0000 |
commit | 5e74b15c0d46e80dfff4d265dfb82340631fcfb8 (patch) | |
tree | 171564bb7e9580ffca8480f190b877e1d07c8c89 /gdb/infcmd.c | |
parent | a8ec2177956f36babd9f08ca67ac3f2974240baf (diff) | |
download | gdb-5e74b15c0d46e80dfff4d265dfb82340631fcfb8.zip gdb-5e74b15c0d46e80dfff4d265dfb82340631fcfb8.tar.gz gdb-5e74b15c0d46e80dfff4d265dfb82340631fcfb8.tar.bz2 |
* gdbarch.sh (PRINT_FLOAT_INFO): Add rule.
* gdbarch.c gdbarch.h: Regenerate.
* arch-utils.c (default_print_float_info): New function.
* arch-utils.h (default_print_float_info): Prototype it.
* infcmd.c (float_info): Call PRINT_FLOAT_INFO.
* doc/gdbint.texinfo (FLOAT_INFO): Mark as deprecated.
(PRINT_FLOAT_INFO): Document it.
* arm-tdep.c (arm_print_float_info): Renamed from arm_float_info.
* config/arm/tm-arm.h (FLOAT_INFO): Delete.
(PRINT_FLOAT_INFO): Define.
Diffstat (limited to 'gdb/infcmd.c')
-rw-r--r-- | gdb/infcmd.c | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/gdb/infcmd.c b/gdb/infcmd.c index 2220534..0238448 100644 --- a/gdb/infcmd.c +++ b/gdb/infcmd.c @@ -1846,11 +1846,7 @@ interrupt_target_command (char *args, int from_tty) static void float_info (char *addr_exp, int from_tty) { -#ifdef FLOAT_INFO - FLOAT_INFO; -#else - printf_filtered ("No floating point info available for this processor.\n"); -#endif + PRINT_FLOAT_INFO (); } /* ARGSUSED */ |