From 21f69c2b3abc349f1412dba74c78fecc585a1987 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 12 Mar 2013 12:27:08 +0000
Subject: [PATCH] Java API build bugfix. Thanks to Fabian Emmes for reporting
 this.

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 scripts/mk_util.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 09aada950..06120e2c4 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -281,7 +281,7 @@ def check_java():
         print("Finding jni.h...")
 
     if JNI_HOME != None:
-        if not os.path.exists(path.join(JNI_HOME, 'jni.h')):
+        if not os.path.exists(os.path.join(JNI_HOME, 'jni.h')):
             raise MKException("Failed to detect jni.h '%s'; the environment variable JNI_HOME is probably set to the wrong path." % os.path.join(JNI_HOME))
     else:        
         # Search for jni.h in the library directories...