diff options
author | Daniel Jacobowitz <dan@debian.org> | 2003-01-27 20:25:35 +0000 |
---|---|---|
committer | Daniel Jacobowitz <dan@debian.org> | 2003-01-27 20:25:35 +0000 |
commit | 371d3557e64b031589c6d1d719254cdcbca7e923 (patch) | |
tree | 19c91334094e3eb71fa164c684de3d1e3122c39f /gdb/maint.c | |
parent | e6862a57fe1d368739166abfe82c145246d576cd (diff) | |
download | gdb-371d3557e64b031589c6d1d719254cdcbca7e923.tar.gz |
* maint.c [! (HAVE_MONSTARTUP && HAVE__MCLEANUP)]
(maintenance_set_profile_cmd): Use error () instead of warning ().
Diffstat (limited to 'gdb/maint.c')
-rw-r--r-- | gdb/maint.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/maint.c b/gdb/maint.c index 6240b49f2d3..3595e184ab9 100644 --- a/gdb/maint.c +++ b/gdb/maint.c @@ -692,7 +692,7 @@ maintenance_set_profile_cmd (char *args, int from_tty, struct cmd_list_element * 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."); + error ("Profiling support is not available on this system."); } #endif |