Searched refs:write_file (Results 1 – 2 of 2) sorted by relevance
680 catch {write_file dump.stderr "$comp_output"} write_output848 proc write_file { filename contents } { procedure
2236 (write_file): New helper function to write a string into a file.