swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d
Tip revision: f4f47e595980e39f9780b4538dbfe82d93c77cbe authored by Roberto Di Cosmo on 26 October 2011, 14:49:33 UTC
Redirect stdout/stderr to one separate file per worker (avoids intermixed output).
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
Loading README ...
