--- dejagnu-1.4.3/lib/remote.exp.old	Sun Jul 13 15:32:31 2003
+++ dejagnu-1.4.3/lib/remote.exp	Sun Jul 13 15:32:36 2003
@@ -442,7 +442,7 @@
     if [board_info $dest exists name] {
 	set dest [board_info $dest name];
     }
-verbose "In call_remote with $dest, $args"
+verbose "In call_remote with $dest, $args" 2
 
     if { $dest != "host" && $dest != "build" && $dest != "target" } {
 	if { ![board_info $dest exists name] } {