From 5704552053a172da300a6a68d83da9ffb7f40e92 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Tue, 23 May 2023 21:30:39 -0400 Subject: [PATCH] Fix ci for mold --- ci/ci-install.bash | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/ci/ci-install.bash b/ci/ci-install.bash index 648620c81..89c0e1c30 100755 --- a/ci/ci-install.bash +++ b/ci/ci-install.bash @@ -63,13 +63,17 @@ if [ "$CI_BUILD_STAGE_NAME" = "build" ]; then sudo apt-get install ccache help2man libfl-dev if [ "$CI_RUNS_ON" != "ubuntu-22.04" ]; then # Some conflict of libunwind verison on 22.04, can live without it for now - sudo apt-get install libgoogle-perftools-dev mold || - sudo apt-get install libgoogle-perftools-dev mold + sudo apt-get install libgoogle-perftools-dev || + sudo apt-get install libgoogle-perftools-dev fi if [ "$CI_RUNS_ON" = "ubuntu-20.04" ] || [ "$CI_RUNS_ON" = "ubuntu-22.04" ]; then sudo apt-get install libsystemc libsystemc-dev || sudo apt-get install libsystemc libsystemc-dev fi + if [ "$CI_RUNS_ON" = "ubuntu-22.04" ]; then + sudo apt-get install mold || + sudo apt-get install mold + fi if [ "$COVERAGE" = 1 ]; then yes yes | sudo cpan -fi Parallel::Forker fi