From 73bbbe4812546d2c1e4071f263372deb0d0fd27c Mon Sep 17 00:00:00 2001
From: Joshua Warner <joshuawarner32@gmail.com>
Date: Sat, 12 Jul 2014 19:06:41 -0600
Subject: [PATCH] add partial cmake build to ci.sh

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

diff --git a/test/ci.sh b/test/ci.sh
index e5f1edcfaf..11ec7352db 100755
--- a/test/ci.sh
+++ b/test/ci.sh
@@ -2,16 +2,32 @@
 
 set -e
 
+root_dir=$(pwd)
+
 run() {
   echo '==============================================='
+  if [ ! $(pwd) = ${root_dir} ]; then
+    printf "cd $(pwd); "
+  fi
   echo "${@}"
   echo '==============================================='
   "${@}"
 }
 
+run_cmake() {
+  mkdir -p cmake-build
+  rm -rf cmake-build/*
+  cd  cmake-build
+  run cmake ${@} ..
+  run make -j4 check
+  cd ..
+}
+
 if [ ${#} -gt 0 ]; then
   run make ${@}
 else
+  run_cmake -DCMAKE_BUILD_TYPE=Debug
+
   run make jdk-test
   run make test
   run make mode=debug test