summaryrefslogtreecommitdiff
path: root/.ci/ci-make-check.sh
diff options
context:
space:
mode:
Diffstat (limited to '.ci/ci-make-check.sh')
-rwxr-xr-x.ci/ci-make-check.sh3
1 files changed, 0 insertions, 3 deletions
diff --git a/.ci/ci-make-check.sh b/.ci/ci-make-check.sh
index 36f1f2de58..656de53400 100755
--- a/.ci/ci-make-check.sh
+++ b/.ci/ci-make-check.sh
@@ -1,9 +1,6 @@
1#!/bin/sh 1#!/bin/sh
2 2
3. .ci/travis.sh 3. .ci/travis.sh
4if [ "$1" = "release-ready" ] ; then
5 exit 0
6fi
7 4
8if [ "$1" = "mingw" ] ; then 5if [ "$1" = "mingw" ] ; then
9 exit 0 6 exit 0