diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-06-22T14·41+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-06-22T14·41+0000 |
commit | 819548d92f45d8aea671ca9a3e938ff928679063 (patch) | |
tree | f7eafbc33ff13d17912c0521329c25a5eb6efb00 /misc | |
parent | b57189174f6e11c3e9e0f7c65c08a72f689fe194 (diff) |
* Pass `--fallback' to the remote build to ignore failing
substituters.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions