diff options
| author | Emilio Jesus Gallego Arias | 2020-04-03 13:12:58 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-03 13:12:58 -0400 |
| commit | c5c8ce135606f311834d4c0b9ac3e72be5ee4a36 (patch) | |
| tree | 990b2f9a82263ac4e399a7d3c688c306e59a8be3 | |
| parent | e16a279b2afe1824ccb8bf4bbc17f797ee5baf6c (diff) | |
| parent | a9996619e2d2352e0e60faf4dbde78fa1549b2af (diff) | |
Merge PR #12007: Fix CoRN & Flocq CI scripts.
Reviewed-by: ejgallego
| -rwxr-xr-x | dev/ci/ci-corn.sh | 2 | ||||
| -rwxr-xr-x | dev/ci/ci-flocq.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev/ci/ci-corn.sh b/dev/ci/ci-corn.sh index 7d5d70cf90..a0c714884c 100755 --- a/dev/ci/ci-corn.sh +++ b/dev/ci/ci-corn.sh @@ -5,4 +5,4 @@ ci_dir="$(dirname "$0")" git_download Corn -( cd "${CI_BUILD_DIR}/Corn" && make && make install ) +( cd "${CI_BUILD_DIR}/Corn" && ./configure.sh && make && make install ) diff --git a/dev/ci/ci-flocq.sh b/dev/ci/ci-flocq.sh index e87483df0a..e9f8324f28 100755 --- a/dev/ci/ci-flocq.sh +++ b/dev/ci/ci-flocq.sh @@ -5,4 +5,4 @@ ci_dir="$(dirname "$0")" git_download Flocq -( cd "${CI_BUILD_DIR}/Flocq" && ./autogen.sh && ./configure && ./remake "-j${NJOBS}" ) +( cd "${CI_BUILD_DIR}/Flocq" && autoconf && ./configure && ./remake "-j${NJOBS}" ) |