Revision - 56677eb - Redirect stdout/stderr to one separate file per worker

Revision 56677eb4a14ada56a2eaa421a54b8cddaa0bcd7f authored by Roberto Di Cosmo on 26 October 2011, 15:20:50 UTC, committed by Roberto Di Cosmo on 26 October 2011, 15:20:50 UTC

Redirect stdout/stderr to one separate file per worker

1 parent 8ef8a0a

Files
Changes

.depend

parmap.cmo: parmap.cmi
parmap.cmx: parmap.cmi
parmap.cmi:

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...