From 9d0d7a1ea03e62d87c0413cef0c6629cd508c513 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Sun, 4 Oct 2015 16:07:02 +0200
Subject: [PATCH] Try to help the cmake of oldstable to find the java stuff we
 need

---
 tools/jenkins/build.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 63bb5835db..acbb39c0da 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -11,6 +11,12 @@ set -e
 rm -rf /tmp/simgrid*tmp
 rm -rf /tmp/surf-java*tmp
 
+# Help older cmakes
+if [ -e /usr/lib/jvm/java-7-openjdk-amd64 ] ; 
+then
+  export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64
+fi
+
 # usage: die status message...
 die () {
   local status=${1:-1}
-- 
2.20.1