diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-03-05T16·58+0100 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-03-05T16·58+0100 |
| commit | 56042a120a3149ec7ddfb36c6f7d7b841ba6dfeb (patch) | |
| tree | f85ac2a01de86e7aebf71c8c1bcdc05e6d011632 /src/libmain/shared.hh | |
| parent | 8afd28a922c8d3a0113abad2b8071465c2d77fe9 (diff) | |
build-remote.pl: don't wait forever for the upload lock
In the build hook, don't wait forever to get the upload lock. This ensures progress if another process gets stuck while holding the upload lock.
Diffstat (limited to 'src/libmain/shared.hh')
0 files changed, 0 insertions, 0 deletions