From 27d7c8a3c0ac05cf87f9c3e237197f39c91dfd9a Mon Sep 17 00:00:00 2001 From: Joel Dice Date: Wed, 27 Feb 2013 13:47:43 -0700 Subject: [PATCH] skip bootimage test in ci.sh if openjdk is set --- test/ci.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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