diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-29 18:00:45 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-29 18:00:45 +0000 |
| commit | 737423a89c4b5f666fb4daf61775764b66911cf1 (patch) | |
| tree | 883fee6aebdc231a721f372753f21d44ba020226 /externals/Makefile.am | |
| 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/Makefile.am')
0 files changed, 0 insertions, 0 deletions