Document 'set|show exec-file-mismatch (ask|warn|off)'

[binutils-gdb.git] / gdb / gdbcore.h

diff --git a/gdb/gdbcore.h b/gdb/gdbcore.h
index 0a69d36ad760fabd9796a1ca1d6273395bf4275c..9d0f62bc980689b9eaaf11e91586467d7e99f836 100644 (file)
--- a/gdb/gdbcore.h
+++ b/gdb/gdbcore.h
@@ -157,6 +157,11 @@ extern void exec_file_locate_attach (int pid, int defer_bp_reset, int from_tty);
 
 extern void validate_files (void);
 
+/* Give the user a message if the current exec file does not match the exec
+   file determined from the target.  In case of mismatch, ask the user
+   if the exec file determined from target must be loaded.  */
+extern void validate_exec_file (int from_tty);
+
 /* The current default bfd target.  */
 
 extern char *gnutarget;