diff options
-rwxr-xr-x | .ci/ci-build-test.sh | 3 |
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 if [ "$1" = "mingw" ] ; then exit 0 fi + if [ "$1" = "release-ready" ] ; then + exit 0 + fi docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) .ci/build-example.sh else exit 0 |