diff --git a/test/ci.sh b/test/ci.sh
index 555ce4687e..1fb490da3c 100755
--- a/test/ci.sh
+++ b/test/ci.sh
@@ -5,5 +5,8 @@ set -e
 make mode=debug test
 make test
 make process=interpret test
-make bootimage=true test
+# bootimage and openjdk builds without openjdk-src don't work:
+if [ -z "${openjdk}" ]; then
+  make bootimage=true test
+fi
 make tails=true continuations=true test