Ok, I found out that I should use RUNTESTFLAGS="--host_board arm".
Now I have another problem: remote_spawn host "$objdir/zzz -v" doesn't
work remotely due to following reasons:
* standard_spawn fails to get the user name from the board_info.
Besides, if there is no user name, it execves ssh with an empty
argv[1]. I worked around this with the attached patch. Is this
behaviour intended, or should I file a bug?
* The remote shell says it can't find the binary. Should I manually
remote_upload it???
Thanks in advance,
Baurzhan.
diff -Naurp -X /home/ibr/tmp/RO/root/prg/dontdiff.ibr -X dontdiff.prj
dejagnu-1.4.4.orig/lib/remote.exp dejagnu-1.4.4/lib/remote.exp
--- dejagnu-1.4.4.orig/lib/remote.exp 2005-03-12 17:37:58.000000000 +0100
+++ dejagnu-1.4.4/lib/remote.exp 2005-03-12 17:27:23.000000000 +0100
@@ -867,6 +867,7 @@ proc standard_spawn { dest commandline }
if ![board_info $dest exists username] {
set rsh_useropts ""
} else {
+ set username [board_info $dest username]
set rsh_useropts "-l $username"
}
@@ -876,7 +877,13 @@ proc standard_spawn { dest commandline }
set remote $dest
}
- spawn $RSH $rsh_useropts $remote $commandline
+ if { $rsh_useropts == "" } {
+ verbose "Spawning \"$RSH\" \"$remote\" \"$commandline\"" 3
+ spawn $RSH $remote $commandline
+ } else {
+ verbose "Spawning \"$RSH\" \"$rsh_useropts\" \"$remote\"
\"$commandline\"" 3
+ spawn $RSH $rsh_useropts $remote $commandline
+ }
set board_info($dest,fileid) $spawn_id
return $spawn_id
}
_______________________________________________
DejaGnu mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/dejagnu
