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 @@
-#!/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