swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d
History
Tip revision: f4f47e595980e39f9780b4538dbfe82d93c77cbe authored by Roberto Di Cosmo on 26 October 2011, 14:49 UTC
Redirect stdout/stderr to one separate file per worker (avoids intermixed output).
Tip revision: f4f47e5
File Mode Size
example
.depend -rw-r--r-- 58 bytes
.gitignore -rw-r--r-- 15 bytes
Changelog -rw-r--r-- 320 bytes
INSTALL -rw-r--r-- 92 bytes
LICENSE -rw-r--r-- 30.4 KB
META -rw-r--r-- 183 bytes
Makefile -rw-r--r-- 1.1 KB
README -rw-r--r-- 2.7 KB
parmap.ml -rw-r--r-- 7.8 KB
parmap.mli -rw-r--r-- 2.8 KB

README

back to top