summaryrefslogtreecommitdiff
path: root/.ci
diff options
context:
space:
mode:
Diffstat (limited to '.ci')
-rwxr-xr-x.ci/ci-make-examples.sh11
1 files changed, 0 insertions, 11 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