summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStefan Schmidt <s.schmidt@samsung.com>2019-09-23 12:56:18 +0200
committerStefan Schmidt <s.schmidt@samsung.com>2019-09-23 12:56:18 +0200
commitf77f64f51b27db11dfb88f09d4cf842b453cef26 (patch)
tree0be9746eb23533d936346d580d0abdcf70a7d6fb
parentb2bf95b6a0848adeebf91ee5f7f0b432230d6f90 (diff)
build test fixupdevs/stefan/ci-test
-rwxr-xr-x.ci/ci-build-test.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/.ci/ci-build-test.sh b/.ci/ci-build-test.sh
index fc098f871b..67b39dec5e 100755
--- a/.ci/ci-build-test.sh
+++ b/.ci/ci-build-test.sh
@@ -10,6 +10,9 @@ if [ "$DISTRO" != "" ] ; then
10 if [ "$1" = "mingw" ] ; then 10 if [ "$1" = "mingw" ] ; then
11 exit 0 11 exit 0
12 fi 12 fi
13 if [ "$1" = "release-ready" ] ; then
14 exit 0
15 fi
13 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) .ci/build-example.sh 16 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) .ci/build-example.sh
14else 17else
15 exit 0 18 exit 0