diff options
| author | Gaëtan Gilbert | 2020-02-25 13:47:55 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-25 13:47:55 +0100 |
| commit | 91541a2d291bc82098b6c86d52670696523fb49b (patch) | |
| tree | 56a0c9700c6bf111306d390095d268a0332a43d1 /dev/ci | |
| parent | f05348c7c809ad55316a3d9ae53b9b8640423978 (diff) | |
| parent | 747936a9d9a7402f537e1e1a857c7591d8e88d2a (diff) | |
Merge PR #11674: [ci] Fix Coquelicot build
Reviewed-by: SkySkimmer
Diffstat (limited to 'dev/ci')
| -rwxr-xr-x | dev/ci/ci-coquelicot.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/ci/ci-coquelicot.sh b/dev/ci/ci-coquelicot.sh index 6cb8dad604..ffe92dcecf 100755 --- a/dev/ci/ci-coquelicot.sh +++ b/dev/ci/ci-coquelicot.sh @@ -7,4 +7,4 @@ install_ssreflect git_download coquelicot -( cd "${CI_BUILD_DIR}/coquelicot" && ./autogen.sh && ./configure && ./remake "-j${NJOBS}" ) +( cd "${CI_BUILD_DIR}/coquelicot" && autoreconf -i -s && ./configure && ./remake "-j${NJOBS}" ) |