diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4a7c2fcd20a46ed3d0afd319eb7e0681d04f3540..cf89aa99d8643ef7a1c1bd49d8047edab5089367 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -13,8 +13,8 @@ init packages: - git submodule init - git submodule update --recursive --remote - ( cd clangml && - export PATH=/builds/.opam/default/bin:$PATH && # for Linux - export PATH=/Users/ci/.opam/default/bin:$PATH && # for Mac OS + export PATH=/builds/.opam/default/bin:$PATH && + export PATH=/Users/ci/.opam/default/bin:$PATH && ./bootstrap.sh ) # `.packages/` and `.git/` are not captured by `mv *` - mkdir .packages