From a35e47b6fb710a84b3f2d5d4a16d8ba0f1fd3bbc Mon Sep 17 00:00:00 2001
From: Joshua Warner <joshua.warner@readytalk.com>
Date: Sat, 31 May 2014 11:18:42 -0600
Subject: [PATCH] add 'mode=debug bootimage=true' test to ci.sh

---
 test/ci.sh | 1 +
 1 file changed, 1 insertion(+)

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