diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-09 16:22:28 +0200 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-18 18:55:02 +0200 |
| commit | f9490ee6daf9a7b7300cd4776bac93be7dbca339 (patch) | |
| tree | 11548bf37a4ad5c99bc827a9cd117faf7277b829 /INSTALL | |
| parent | e56d58595af1d2814278f1a48fd1ce8d37c47754 (diff) | |
| download | jenkins.debian.net-f9490ee6daf9a7b7300cd4776bac93be7dbca339.tar.xz | |
reproducible: build: refactor: extensively try to avoid races, check for another running build wherever possible, using a lockfile named after the package name/suite
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions