diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-02-09 19:46:44 +0100 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2019-02-09 19:48:30 +0100 |
| commit | f2189de2797e391124ead51eada6d57b2929c88f (patch) | |
| tree | cb41b5fb34408b6b9b41b61b427eeb4ba72aa14a /scripts/ci/retry.sh | |
| parent | 307b53fb1511033249b98132fdd155deee4ce3a2 (diff) | |
Shortcut helper compilation when Cabal version is already available
This is mostly an optimization for Nix which already sets up the environment
correctly, so we should reward its users :)
Diffstat (limited to 'scripts/ci/retry.sh')
0 files changed, 0 insertions, 0 deletions