[PATCH] gdb.base/default.exp: Use verbose -log in a few places.

[Doug Evans]

Hi.

I found this useful while debugging a problem.

2015-10-05  Doug Evans  <dje@google.com>

	* gdb.base/default.exp (info set): Always send some debugging output
	to log file.

diff --git a/gdb/testsuite/gdb.base/default.exp  
b/gdb/testsuite/gdb.base/default.exp
index e682023..74af159 100644
--- a/gdb/testsuite/gdb.base/default.exp
+++ b/gdb/testsuite/gdb.base/default.exp
@@ -318,17 +318,17 @@ set set_confirm_seen 0
  set set_prompt_seen 0
  gdb_test_multiple "info set" "info set" {
      -re "confirm:  Whether to confirm potentially dangerous operations is  
o\[a-z\]*.(\[^\r\n\]*\[\r\n\])+history filename:  The filename in which to  
record the command history is (\[^\r\n\]*\[\r\n\])+listsize:  Number of  
source lines gdb will list by default is 10" {
-	verbose "Confirm dislayed"
+	verbose -log "Confirm displayed"
  	set set_confirm_seen 1
  	exp_continue
      }
      -re "Gdb's prompt is \"$gdb_prompt \"" {
-	verbose "GDB prompt displayed"
+	verbose -log "GDB prompt displayed"
  	set set_prompt_seen 1
  	exp_continue
      }
      -re "Writing into executable.*$gdb_prompt $" {
-	verbose "write displayed"
+	verbose -log "write displayed"
  	if { $set_prompt_seen && $set_confirm_seen } {
  	    pass "info set"
  	} else {