blob: c9044f7d2bf4a6ab570488f4830cd6dddcee2162 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- 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] } {
|
