diff --git a/test/ci.sh b/test/ci.sh index a2fd8492a5..f64c13939b 100755 --- a/test/ci.sh +++ b/test/ci.sh @@ -24,6 +24,7 @@ run make ${flags} process=interpret ${test_target} # bootimage and openjdk builds without openjdk-src don't work: if [ -z "${openjdk}" ]; then run make ${flags} bootimage=true ${test_target} + run make ${flags} mode=debug bootimage=true ${test_target} # might as well do an openjdk test while we're here: run make openjdk=$JAVA_HOME ${flags} ${test_target} fi