| changeset 290 | 802d76cf07f1 |
| parent 289 | 759aa5329d25 |
| child 291 | 9195c2848015 |
| 289:759aa5329d25 | 290:802d76cf07f1 |
|---|---|
84 $target = ''; |
84 $target = ''; |
85 warn "WARNING: The compressed baseline doesn't seem to contain an envinfo.txt file\n"; |
85 warn "WARNING: The compressed baseline doesn't seem to contain an envinfo.txt file\n"; |
86 } |
86 } |
87 else |
87 else |
88 { |
88 { |
89 my $tmp_file = "tmp$$.txt"; |
89 $tmp_file = "tmp$$.txt"; |
90 system("ren envinfo.txt $tmp_file"); |
90 system("ren envinfo.txt $tmp_file"); |
91 $target = $tmp_file; |
91 $target = $tmp_file; |
92 } |
92 } |
93 } |
93 } |
94 |
94 |