summaryrefslogtreecommitdiff
path: root/.ci/ci-make-install.sh
diff options
context:
space:
mode:
Diffstat (limited to '.ci/ci-make-install.sh')
-rwxr-xr-x.ci/ci-make-install.sh3
1 files changed, 0 insertions, 3 deletions
diff --git a/.ci/ci-make-install.sh b/.ci/ci-make-install.sh
index 74769896c3..49c9348851 100755
--- a/.ci/ci-make-install.sh
+++ b/.ci/ci-make-install.sh
@@ -2,9 +2,6 @@
2 2
3set -e 3set -e
4. .ci/travis.sh 4. .ci/travis.sh
5if [ "$1" = "release-ready" ] ; then
6 exit 0
7fi
8if [ "$1" = "coverity" ] ; then 5if [ "$1" = "coverity" ] ; then
9 exit 0 6 exit 0
10fi 7fi