diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-08-24T14·27+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-08-24T14·27+0000 |
| commit | 1e5f5ea2e9f522397c05e710ae32ff7c0b0f1611 (patch) | |
| tree | 576d3e2030ad23b05b4a78e0a477edb246621291 /aterm-gc.supp | |
| parent | 034f608e004c3206ff99c55c107139c38bfe9408 (diff) | |
* Correctly handle SSH failing to establish a connection. Because
this didn't work right, the build hook wouldn't fall back to using other machines of the desired type.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions