summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-x.ci/ci-make-examples.sh11
-rw-r--r--.travis.yml2
2 files changed, 0 insertions, 13 deletions
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 @@
1#!/bin/sh
2
3set -e
4. .ci/travis.sh
5if [ "$1" = "release-ready" ] ; then
6 exit 0
7fi
8travis_fold examples "make examples"
9echo "TODO"
10
11travis_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:
69 cp $HOME/cachedir/config.cache . || true 69 cp $HOME/cachedir/config.cache . || true
70 fi 70 fi
71 71
72
73script: 72script:
74 - .ci/ci-configure.sh "$CI_BUILD_TYPE" 73 - .ci/ci-configure.sh "$CI_BUILD_TYPE"
75 - .ci/ci-setup-ccache.sh "$CI_BUILD_TYPE" 74 - .ci/ci-setup-ccache.sh "$CI_BUILD_TYPE"
76 - .ci/ci-make.sh "$CI_BUILD_TYPE" 75 - .ci/ci-make.sh "$CI_BUILD_TYPE"
77 #- .ci/ci-make-examples.sh "$CI_BUILD_TYPE"
78 - | 76 - |
79 if [[ "$TRAVIS_OS_NAME" == "linux" ]] && [[ "$CI_BUILD_TYPE" == "" ]]; then 77 if [[ "$TRAVIS_OS_NAME" == "linux" ]] && [[ "$CI_BUILD_TYPE" == "" ]]; then
80 .ci/ci-make-benchmark.sh "$CI_BUILD_TYPE" 78 .ci/ci-make-benchmark.sh "$CI_BUILD_TYPE"