diff options
Diffstat (limited to 'scripts/travis-build.sh')
-rwxr-xr-x | scripts/travis-build.sh | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/scripts/travis-build.sh b/scripts/travis-build.sh index 84200b407..3c20bbd7a 100755 --- a/scripts/travis-build.sh +++ b/scripts/travis-build.sh @@ -34,17 +34,12 @@ set -xe TRAVIS_BUILD_STEP="$1" -DOCKER_BUILDER_NAME='builder' if [ -z "$TRAVIS_BUILD_STEP" ]; then echo "No travis build step defined" exit 0 fi -function docker_exec() { - docker exec -i $DOCKER_BUILDER_NAME $* -} - if [ "$BUILD_TYPE" == "deb" ]; then if [ "$TRAVIS_BUILD_STEP" == "before_install" ]; then sudo apt-add-repository $DEB_PPA -y @@ -95,6 +90,6 @@ elif [ "$BUILD_TYPE" == "flatpak" ]; then docker run --privileged --env=FLATPAK_ARCH=$FLATPAK_ARCH flatpak fi else - echo 'No $BUILD_TYPE defined' + echo 'No $BUILD_TYPE defined' >&2 exit 1 fi |