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