diff options
| author | Emilio Jesus Gallego Arias | 2020-04-21 12:30:17 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-21 12:30:17 +0200 |
| commit | 80f6529d5119c5dd5b60226b60d47aa7366dec29 (patch) | |
| tree | 208ba791f29f6ae173946575deaa8344f1d72c8c /dev/ci | |
| parent | c3bfeb5ab366de223f2eec48c6a4ab18e9b4a4ea (diff) | |
| parent | 5469457e73063b85ffd8a4e5247f0b11bd7ba6dd (diff) | |
Merge PR #12137: Fix VST after PrincetonUniversity/VST#402
Reviewed-by: ejgallego
Diffstat (limited to 'dev/ci')
| -rwxr-xr-x | dev/ci/ci-flocq.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/ci/ci-flocq.sh b/dev/ci/ci-flocq.sh index e9f8324f28..7a9531216e 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" && autoconf && ./configure && ./remake "-j${NJOBS}" ) +( cd "${CI_BUILD_DIR}/Flocq" && autoconf && ./configure && ./remake "-j${NJOBS}" && ./remake install ) |