diff options
| author | Javier Neira <atreyu.bbb@gmail.com> | 2020-02-10 13:25:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-10 13:25:49 +0100 |
| commit | 4ca6570ecda0a39fc056c239ada6c2368b4dd698 (patch) | |
| tree | 3d662edbabea7ea2a6ac57e3e5ac623388827547 /scripts/ci/steps/30-build.sh | |
| parent | c677e7239c95268175d1ad155c2d40b82eb9887a (diff) | |
Fix patchBuildToolProgs when haddock cannot be found
Cabal's GHC.configure doesn't demand haddock exist, so we have to handle the case where it's not installed.
Diffstat (limited to 'scripts/ci/steps/30-build.sh')
0 files changed, 0 insertions, 0 deletions