diff options
author | Daniel Jacobowitz <dan@debian.org> | 2003-01-27 14:36:56 +0000 |
---|---|---|
committer | Daniel Jacobowitz <dan@debian.org> | 2003-01-27 14:36:56 +0000 |
commit | fa7e61083942d771d35c869a7c26e51b830c75af (patch) | |
tree | 9676b969ce877d464aefb6069cef3c37574a2dc3 /gdb/maint.c | |
parent | 3e9be04d22e03d3afcb30f1786705a1f13c76192 (diff) | |
download | gdb-fa7e61083942d771d35c869a7c26e51b830c75af.tar.gz |
* configure.in: Check that -pg works if using --enable-profiling.
Check for monstartup and _mcleanup regardless of --enable-profiling.
* maint.c: Check for monstartup and _mcleanup before using them.
* config.in: Regenerated.
* configure: Regenerated.
Diffstat (limited to 'gdb/maint.c')
-rw-r--r-- | gdb/maint.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gdb/maint.c b/gdb/maint.c index 045510c5eae..6240b49f2d3 100644 --- a/gdb/maint.c +++ b/gdb/maint.c @@ -642,6 +642,9 @@ maintenance_show_cmd (char *args, int from_tty) /* Profiling support. */ static int maintenance_profile_p; + +#if defined (HAVE_MONSTARTUP) && defined (HAVE__MCLEANUP) + static int profiling_state; static void @@ -685,6 +688,13 @@ maintenance_set_profile_cmd (char *args, int from_tty, struct cmd_list_element * _mcleanup (); } } +#else +static void +maintenance_set_profile_cmd (char *args, int from_tty, struct cmd_list_element *c) +{ + warning ("Profiling support is not available on this system."); +} +#endif void _initialize_maint_cmds (void) |