From af2d8053cca4a1a4e280967f39ea51f193116015 Mon Sep 17 00:00:00 2001 From: Thomas Nagy Date: Sat, 21 Apr 2012 00:22:44 +0200 Subject: [PATCH] Issue 1150, Apple broke java --- waflib/Tools/javaw.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/waflib/Tools/javaw.py b/waflib/Tools/javaw.py index fee68422..25f825a3 100644 --- a/waflib/Tools/javaw.py +++ b/waflib/Tools/javaw.py @@ -450,6 +450,8 @@ def check_jni_headers(conf): javaHome = conf.env['JAVA_HOME'][0] dir = conf.root.find_dir(conf.env.JAVA_HOME[0] + '/include') + if dir is None: + dir = conf.root.find_dir(conf.env.JAVA_HOME[0]) + '/../Headers') # think different?! if dir is None: conf.fatal('JAVA_HOME does not seem to be set properly')