diff --git a/.ci/ci-make-examples.sh b/.ci/ci-make-examples.sh deleted file mode 100755 index 9ffa6e1c6f..0000000000 --- a/.ci/ci-make-examples.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -set -e -. .ci/travis.sh -if [ "$1" = "release-ready" ] ; then - exit 0 -fi -travis_fold examples "make examples" -echo "TODO" - -travis_endfold examples diff --git a/.travis.yml b/.travis.yml index 1ba8163ca6..6d2d233fad 100644 --- a/.travis.yml +++ b/.travis.yml @@ -69,12 +69,10 @@ before_script: cp $HOME/cachedir/config.cache . || true fi - script: - .ci/ci-configure.sh "$CI_BUILD_TYPE" - .ci/ci-setup-ccache.sh "$CI_BUILD_TYPE" - .ci/ci-make.sh "$CI_BUILD_TYPE" - #- .ci/ci-make-examples.sh "$CI_BUILD_TYPE" - | if [[ "$TRAVIS_OS_NAME" == "linux" ]] && [[ "$CI_BUILD_TYPE" == "" ]]; then .ci/ci-make-benchmark.sh "$CI_BUILD_TYPE"