2002-12-07 Andrew Cagney <ac131313@redhat.com>

* gdbarch.sh (TARGET_FLOAT_FORMAT): Use the macro when printing
	the format name.
	(TARGET_DOUBLE_FORMAT, TARGET_LONG_DOUBLE_FORMAT): Ditto.
	* gdbarch.c: Regenerate.
This commit is contained in:
Andrew Cagney
2002-12-08 20:48:17 +00:00
parent 75538612b6
commit 52f87c5112
3 changed files with 13 additions and 6 deletions

View File

@@ -2335,7 +2335,7 @@ gdbarch_dump (struct gdbarch *gdbarch, struct ui_file *file)
XSTRING (TARGET_DOUBLE_FORMAT));
fprintf_unfiltered (file,
"gdbarch_dump: TARGET_DOUBLE_FORMAT = %s\n",
gdbarch->float_format->name);
(TARGET_DOUBLE_FORMAT)->name);
#endif
#ifdef TARGET_FLOAT_BIT
fprintf_unfiltered (file,
@@ -2351,7 +2351,7 @@ gdbarch_dump (struct gdbarch *gdbarch, struct ui_file *file)
XSTRING (TARGET_FLOAT_FORMAT));
fprintf_unfiltered (file,
"gdbarch_dump: TARGET_FLOAT_FORMAT = %s\n",
gdbarch->float_format->name);
(TARGET_FLOAT_FORMAT)->name);
#endif
#ifdef TARGET_INT_BIT
fprintf_unfiltered (file,
@@ -2383,7 +2383,7 @@ gdbarch_dump (struct gdbarch *gdbarch, struct ui_file *file)
XSTRING (TARGET_LONG_DOUBLE_FORMAT));
fprintf_unfiltered (file,
"gdbarch_dump: TARGET_LONG_DOUBLE_FORMAT = %s\n",
gdbarch->float_format->name);
(TARGET_LONG_DOUBLE_FORMAT)->name);
#endif
#ifdef TARGET_LONG_LONG_BIT
fprintf_unfiltered (file,