Lines Matching refs:output_file
65 set output_file ""
68 set output_file ""
73 regsub ">&" $redir "" output_file
76 set output_file "gas.out"
80 set output_file ""
84 set output_file "gas.out"
91 set status [remote_exec host [concat sh -c [list $command]] "" "/dev/null" "$output_file"]
99 if { [lindex $status 0] == 0 && "$output_file" != ""
100 && "$output_file" != "$return_contents_of" } then {
101 remote_upload host "$output_file"