#1397 Changing shell does not work; go back to former version (and enrich bash profile).

ExternalTools/Gitlab-CI/gitlab-ci-1397.yml

@@ -42,7 +42,6 @@ stages:
         paths:
             - build/compilation.log
     script:
-        - zsh
         - mkdir -p build
         - source activate Python3
         - cd build && python ../cmake/Scripts/configure_cmake.py --cache_file=../cmake/PreCache/macos_apple_clang.cmake  --cmake_args="-G Ninja"  --third_party_directory=/Volumes/Data/ci/opt/${MODE} --mode=${MODE} --library_type=${LIB_NATURE}  --morefem_as_single_library=${IS_ONLY_ONE_LIB}