/[dejagnu]/dejagnu/config/ddb-ether.exp
ViewVC logotype

Diff of /dejagnu/config/ddb-ether.exp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.4 by bje, Thu Aug 7 03:42:43 2003 UTC revision 1.5 by bje, Thu Aug 7 03:58:36 2003 UTC
# Line 27  proc ${board}_init { dest } { Line 27  proc ${board}_init { dest } {
27          set doing_ddb_init 1          set doing_ddb_init 1
28    
29          remote_close $dest          remote_close $dest
30          for { set x 0; } { $x < 3 } { incr x; } {          for { set x 0 } { $x < 3 } { incr x } {
31              set shell_id [remote_open $dest]              set shell_id [remote_open $dest]
32              if { $shell_id == "" || $shell_id < 0 } {              if { $shell_id == "" || $shell_id < 0 } {
33                  remote_reboot $dest                  remote_reboot $dest
# Line 54  proc ${board}_init { dest } { Line 54  proc ${board}_init { dest } {
54  }  }
55    
56  proc ddb_ether_load { dest prog args } {  proc ddb_ether_load { dest prog args } {
57      for { set x 0; } { $x < 3 } { incr x } {      for { set x 0 } { $x < 3 } { incr x } {
58          set result [eval remote_spawn \{$dest\} \{$prog\} $args]          set result [eval remote_spawn \{$dest\} \{$prog\} $args]
59          if { $result < 0 } {          if { $result < 0 } {
60              remote_reboot $dest              remote_reboot $dest

Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26