diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-03-05T18·19+0100 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-03-05T18·19+0100 |
| commit | 1d487dc6a682468ae00402b3720ff412b6bfb6fc (patch) | |
| tree | 94311d8c9b57893255bf613be84fb1cc8b924f55 /.gitignore | |
| parent | 2b4964f31979b5227a7a51b646d2e4bbb5ef6579 (diff) | |
nix-worker: put the pid of the caller in argv[1]
This is useful for debugging.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions