diff options
| author | Emilio Jesus Gallego Arias | 2020-02-24 13:43:16 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-02-24 13:43:16 -0500 |
| commit | 747936a9d9a7402f537e1e1a857c7591d8e88d2a (patch) | |
| tree | b8ac1020675d3252c0feb606056c5ef7ce037617 /dev | |
| parent | da984ceafbb450dc5a9fe8f8971d8c90a060f233 (diff) | |
[ci] Fix Coquelicot build
New versions did remove the autogen.sh script in favor of plain
`autoreconf`
Note that the Coquelicot build documentation seems incorrect.
Diffstat (limited to 'dev')
| -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}" ) |