Revision - 9e9490d - Helper functions for debug; moved stdout/stderr to /tmp

Revision 9e9490d6f29690b5519b1f69325e3bdf6cecc922 authored by Pietro Abate on 15 November 2011, 21:39:21 UTC, committed by Roberto Di Cosmo on 15 November 2011, 21:39:21 UTC

Helper functions for debug; moved stdout/stderr to /tmp

1 parent 2e6cd11

Files
Changes

Permalinks

.gitignore

log*
*~
_build

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

Computing file changes ...