/[dejagnu]/dejagnu/config/dos.exp
ViewVC logotype

Diff of /dejagnu/config/dos.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 185  proc dos_exec { dest program pargs inp o Line 185  proc dos_exec { dest program pargs inp o
185    
186      # Make a DOS batch file; we use @echo off so we don't have to see      # Make a DOS batch file; we use @echo off so we don't have to see
187      # the DOS command prompts and such.      # the DOS command prompts and such.
188      for { set i 0; } { $i < 2 } { incr i } {      for { set i 0 } { $i < 2 } { incr i } {
189          set exit_status -1          set exit_status -1
190          verbose "calling open"          verbose "calling open"
191          set batfile [dos_prep_command $dest "$cmdline$inp$outpf"]          set batfile [dos_prep_command $dest "$cmdline$inp$outpf"]
# Line 222  proc dos_start_command { cmdline dest } Line 222  proc dos_start_command { cmdline dest }
222      set shell_prompt [board_info $dest shell_prompt]      set shell_prompt [board_info $dest shell_prompt]
223      set prefix ""      set prefix ""
224      set ok 0      set ok 0
225      for {set i 0;} {$i <= 2 && ! $ok} {incr i;} {      for { set i 0 } {$i <= 2 && ! $ok} { incr i } {
226          set shell_id [remote_open $dest]          set shell_id [remote_open $dest]
227          if { $shell_id != "" && $shell_id > 0 } {          if { $shell_id != "" && $shell_id > 0 } {
228              remote_send $dest "echo k\r"              remote_send $dest "echo k\r"
# Line 287  proc dos_spawn { dest program args } { Line 287  proc dos_spawn { dest program args } {
287      verbose "running $program on $dest"      verbose "running $program on $dest"
288      set remotebat [dos_prep_command $dest $program]      set remotebat [dos_prep_command $dest $program]
289    
290      for { set x 0; } { $x < 3 } { incr x } {      for { set x 0 } { $x < 3 } { incr x } {
291          if { [dos_start_command $remotebat $dest] == "" } {          if { [dos_start_command $remotebat $dest] == "" } {
292              return [board_info $dest fileid]              return [board_info $dest fileid]
293          }          }

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