From 89adcdc4b511a297b199b5a903a5e79eaf64eeea Mon Sep 17 00:00:00 2001
From: gchabert <gilles.chabert@irt-jules-verne.fr>
Date: Tue, 8 Sep 2020 19:21:18 +0200
Subject: [PATCH] Fix bug in wscript

---
 wscript | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/wscript b/wscript
index bdcd992..6ac12fe 100644
--- a/wscript
+++ b/wscript
@@ -80,9 +80,10 @@ def build (bld):
 	)
 
 	java_ibex_header = "src/%s_Ibex.h" % bld.env.JAVA_SIGNATURE
-	
+
 	# Generate C++ header with javah
-	if bld.env.java_main_version<10:
+	pathdir = os.path.dirname (bld.env.JAVAC[0])
+	if os.path.exists(pathdir+"/bin/javah"): # valid for JDK<10
 		bld (
 			features = "myjavah",
 			source = java_ibex_class,