diff options
author | Daniel Jacobowitz <drow@false.org> | 2003-01-27 14:36:56 +0000 |
---|---|---|
committer | Daniel Jacobowitz <drow@false.org> | 2003-01-27 14:36:56 +0000 |
commit | d9feb4e7bfd6d419ccc49092d750c480319b5614 (patch) | |
tree | cb5b40ffbc4cfba811fe758bc4c4a9d52964d596 /gdb/maint.c | |
parent | 5cfbfc2b20bb18a0a9ff530935ae044f6caeecff (diff) | |
download | gdb-d9feb4e7bfd6d419ccc49092d750c480319b5614.zip gdb-d9feb4e7bfd6d419ccc49092d750c480319b5614.tar.gz gdb-d9feb4e7bfd6d419ccc49092d750c480319b5614.tar.bz2 |
* 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 045510c..6240b49 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) |