On 09/04/2014 11:12 PM, Nico Schlömer wrote: > referring to the documentation of execute_process() [1], is there a > defined behavior about what happens if OUTPUT_FILE and ERROR_FILE > point to the same file? On windows execute_process() will fail and complain that the file is already being used by another process. Nils