Revision - da7933d - Made stdout/stderr redirection optional (default: false)

Revision da7933dd30c30ed21c95f4455320663b92b67806 authored by Roberto Di Cosmo on 14 June 2012, 21:47:10 UTC, committed by Roberto Di Cosmo on 14 June 2012, 21:47:10 UTC

Made stdout/stderr redirection optional (default: false)

1 parent 2d69621

Files
Changes

Permalinks

_tags

<*>: annot
#"libparmap.a": use_parmap
<parmap.cm{x,}a>: use_libparmap
<parmap.c{mxs}>: link_libparmap
<*.{ml,mli}>: package(unix), package(bigarray)


<*sdl.*>: package(bigarray), package(sdl)

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

Computing file changes ...