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 /src/libmain/shared.hh | |
| parent | 2b4964f31979b5227a7a51b646d2e4bbb5ef6579 (diff) | |
nix-worker: put the pid of the caller in argv[1]
This is useful for debugging.
Diffstat (limited to 'src/libmain/shared.hh')
| -rw-r--r-- | src/libmain/shared.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/libmain/shared.hh b/src/libmain/shared.hh index 1d6a6ec5737d..43725e07fdd9 100644 --- a/src/libmain/shared.hh +++ b/src/libmain/shared.hh @@ -56,6 +56,8 @@ struct RemoveTempRoots /* Exit code of the program. */ extern int exitCode; +extern char * * argvSaved; + } |