diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-29T18·00+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-29T18·00+0000 |
| commit | 737423a89c4b5f666fb4daf61775764b66911cf1 (patch) | |
| tree | 883fee6aebdc231a721f372753f21d44ba020226 /externals | |
| parent | 47706e3924cf592a4e0085eb2e45f0e84b67f933 (diff) | |
* Use polling to wait for a remote build slot when using a build hook
(that is, call the build hook with a certain interval until it accepts the build). * build-remote.pl was totally broken: for all system types other than the local system type, it would send all builds to the *first* machine of the appropriate type.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions