diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-07-23 09:27:29 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-08-04 18:16:51 -0400 |
| commit | 7e404afd7c923bf275093c7fa1b278d484cfdd82 (patch) | |
| tree | 1b33a64c1a4b622669ac18ab617e89d85aaaba92 | |
| parent | a5227080b57cb51ac34d4c9de1accdf6360b818b (diff) | |
| download | haskell-7e404afd7c923bf275093c7fa1b278d484cfdd82.tar.gz | |
gitlab-ci: Manually set SPHINXBUILD on Windows
For some reason configure seems unable to find it on its own. Let's try
giving it a hint.
Addresses #16398.
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9cf17ea9ca..f212dfc625 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -691,6 +691,7 @@ validate-x86_64-linux-fedora27: variables: FORCE_SYMLINKS: 1 LANG: "en_US.UTF-8" + SPHINXBUILD: "/mingw64/bin/sphinx-build.exe" cache: paths: - cabal-cache |