diff options
author | Kris Kennaway <kris@FreeBSD.org> | 2004-12-28 05:50:37 +0000 |
---|---|---|
committer | Kris Kennaway <kris@FreeBSD.org> | 2004-12-28 05:50:37 +0000 |
commit | 23bd58ef86609f883f5dff20a8baf9bc453cce7f (patch) | |
tree | e65e0e42f4bab7599474763a68ee1bc8c39195c2 /emulators/linux_base/Makefile | |
parent | * It does in fact make sense to specify -incremental and -noindex at the (diff) |
* Support the -norsync argument to only remove the existing build chroots
on a disconnected client, without running the time-consuming rsyncs.
This is useful when a build is interrupted and needs to be restarted.
* After we have cleaned up the machine, reset the queue counter by using
pollmachine -queue. This has a race condition if other builds are being
dispatched to the machine (e.g. builds on another branch):
getmachine can claim a directory and increment the counter, then the
machine is polled and finds e.g. 0 chroots in use, and resets the
counter to 0, then claim-chroot is run and the build dispatched, with
the counter now off-by-one. This could be fixed by running
claim-chroot with the .lock held, but this turns out to be too
time-consuming. A two-level lock approach might also fix this
efficiently.
Notes
Notes:
svn path=/head/; revision=125320
Diffstat (limited to 'emulators/linux_base/Makefile')
0 files changed, 0 insertions, 0 deletions