travis-ci: source /etc/profile.d/devkit-env.sh in before_script stage

This commit is contained in:
Thomas Bernard 2019-05-02 15:10:26 +02:00
parent d36e59ca9c
commit 6b9ee7cb3d
No known key found for this signature in database
GPG Key ID: 0FF11B67A5C0863C

View File

@ -45,6 +45,9 @@ install:
- 'if [ "$ATARICROSS" = "1" ] ; then sh ./.install-cross-mint.sh ; fi' - 'if [ "$ATARICROSS" = "1" ] ; then sh ./.install-cross-mint.sh ; fi'
- 'if [ "$SWITCH" = "1" ] ; then sh ./.install-switch-toolchain.sh ; fi' - 'if [ "$SWITCH" = "1" ] ; then sh ./.install-switch-toolchain.sh ; fi'
before_script:
- 'if [ "$SWITCH" = "1" ] ; then source /etc/profile.d/devkit-env.sh ; fi'
script: script:
- 'cd $TRAVIS_BUILD_DIR' - 'cd $TRAVIS_BUILD_DIR'
- 'if [ "$WIN32CROSS" = "1" ] || [ "$TRAVIS_OS_NAME" = "osx" ] || [ "$ATARICROSS" = "1" ] ; then make 3rdparty -j3 ; fi' - 'if [ "$WIN32CROSS" = "1" ] || [ "$TRAVIS_OS_NAME" = "osx" ] || [ "$ATARICROSS" = "1" ] ; then make 3rdparty -j3 ; fi'