From f8769eca9b28189cbfce3d02de37f52e10e38460 Mon Sep 17 00:00:00 2001
From: benfry <fry@processing.org>
Date: Tue, 13 Apr 2010 17:19:52 +0000
Subject: [PATCH] fix build for linux

---
 app/build.xml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/app/build.xml b/app/build.xml
index f7d89d0c4..a75961e9b 100644
--- a/app/build.xml
+++ b/app/build.xml
@@ -78,7 +78,12 @@
 	       property="java_tools_found" />
 
     <condition property="linux">
-      <os family="unix" />
+      <and>
+	<os family="unix" />
+	<not>
+	  <os family="mac" />
+	</not>
+      </and>
     </condition>
     <fail if="linux" unless="java_tools_found" 
 	  message="The JAVA_HOME variable must be set to the location of a full JDK. For instance, on Ubuntu Linux, this might be /usr/lib/jvm/java-6-sun." />