Merge branch 'bugfix/term-gitlab-warning' into 'dev'

Remove message "tput: No value for $TERM and no -T specified" in gitlab builds

See merge request ligolang/ligo!401
This commit is contained in:
Suzanne Dupéron 2020-02-10 20:43:35 +00:00
commit c875d4f0f5

View File

@ -40,6 +40,7 @@ dont-merge-to-master:
- build-and-package-ubuntu-18-04 - build-and-package-ubuntu-18-04
- build-and-package-ubuntu-19-04 - build-and-package-ubuntu-19-04
before_script: before_script:
- export TERM=dumb
- scripts/install_native_dependencies.sh - scripts/install_native_dependencies.sh
- scripts/install_opam.sh # TODO: or scripts/install_build_environment.sh ? - scripts/install_opam.sh # TODO: or scripts/install_build_environment.sh ?
- export PATH="/usr/local/bin${PATH:+:}${PATH:-}" - export PATH="/usr/local/bin${PATH:+:}${PATH:-}"
@ -86,6 +87,7 @@ dont-merge-to-master:
before_script: before_script:
# Install dependencies # Install dependencies
# rsync is needed by opam to sync a package installed from a local directory with the copy in ~/.opam # rsync is needed by opam to sync a package installed from a local directory with the copy in ~/.opam
- export TERM=dumb
- scripts/install_native_dependencies.sh - scripts/install_native_dependencies.sh
- scripts/install_opam.sh # TODO: or scripts/install_build_environment.sh ? - scripts/install_opam.sh # TODO: or scripts/install_build_environment.sh ?
- export PATH="/usr/local/bin${PATH:+:}${PATH:-}" - export PATH="/usr/local/bin${PATH:+:}${PATH:-}"