diff --git a/.ci/ci-make.sh b/.ci/ci-make.sh
index 8bd445f276..988fb1c109 100755
--- a/.ci/ci-make.sh
+++ b/.ci/ci-make.sh
@@ -2,6 +2,10 @@
 
 set -e
 
+if [ "$1" = "release-ready" ] ; then
+  exit 0
+fi
+
 if [ "$DISTRO" != "" ] ; then
   docker exec --env MAKEFLAGS="-j5" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make
 else