diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2022-01-23 15:51:16 +0200 |
|---|---|---|
| committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2022-02-02 19:29:01 +0200 |
| commit | 0bbae237a8e0122b97c5c71bc85bc845e26d5b47 (patch) | |
| tree | 5f7c568a6415ab7c94ae162ea48e0a455c0ffeba /ci | |
| parent | 01d1845a80ae48d741deea695ddce95d940ab0d8 (diff) | |
ci: Drop no longer needed `update-alternatives`
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/test/05_before_script.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ci/test/05_before_script.sh b/ci/test/05_before_script.sh index 1d67355d27..8f75fbd1fa 100755 --- a/ci/test/05_before_script.sh +++ b/ci/test/05_before_script.sh @@ -43,9 +43,6 @@ if [[ ${USE_MEMORY_SANITIZER} == "true" ]]; then CI_EXEC "contrib/install_db4.sh \$(pwd) --enable-umrw CC=clang CXX=clang++ CFLAGS='${MSAN_FLAGS}' CXXFLAGS='${MSAN_AND_LIBCXX_FLAGS}'" fi -if [[ $HOST = *-mingw32 ]]; then - CI_EXEC update-alternatives --set "${HOST}-g++" \$\(which "${HOST}-g++-posix"\) -fi if [ -z "$NO_DEPENDS" ]; then if [[ $DOCKER_NAME_TAG == *centos* ]]; then # CentOS has problems building the depends if the config shell is not explicitly set |