From b5bea30cc22657d9c1ff187897e84480b37ee8d1 Mon Sep 17 00:00:00 2001 From: endolf Date: Tue, 14 Jun 2005 11:19:55 +0000 Subject: [PATCH] For some reason, my ubunto boxes with jdk 1.5.0_02 all seem to have java.home set to the jre dir, even though a 'which java' reveals it's using the jdk one, not the jre one. This causes the include dir not to be found and causes the build to fail. Made it so that the build file looks for includes relative to the jre dir and the jdk dir, so all systems should work (yeah, right) --- plugins/linux/src/native/build.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/linux/src/native/build.xml b/plugins/linux/src/native/build.xml index db2890a..ea5e9ab 100644 --- a/plugins/linux/src/native/build.xml +++ b/plugins/linux/src/native/build.xml @@ -48,7 +48,7 @@ - +