From b09dbb804235e5de8d2b750d17de39330f913e68 Mon Sep 17 00:00:00 2001
From: Ian Young <ian@iay.org.uk>
Date: Thu, 28 Jul 2016 11:49:46 +0100
Subject: [PATCH] Support property settings for Linux.

---
 build.xml        | 7 +++++--
 linux.properties | 7 +++++++
 2 files changed, 12 insertions(+), 2 deletions(-)
 create mode 100644 linux.properties

diff --git a/build.xml b/build.xml
index 0ead67fa..c3738d00 100644
--- a/build.xml
+++ b/build.xml
@@ -18,7 +18,7 @@
         we're executing on.  We use this to decide which properties files
         to load.
 
-        Values: windows, macosx, other.
+        Values: windows, macosx, linux, other.
     -->
     <condition property="os.family" value="windows">
         <os family="windows"/>
@@ -26,6 +26,9 @@
     <condition property="os.family" value="macosx">
         <os family="mac"/>
     </condition>
+    <condition property="os.family" value="linux">
+        <os family="unix" name="Linux"/>
+    </condition>
     <property name="os.family" value="other"/>
 
     <!--
@@ -1281,4 +1284,4 @@
         </echoproperties>
     </target>
 
-</project>
\ No newline at end of file
+</project>
diff --git a/linux.properties b/linux.properties
new file mode 100644
index 00000000..247a6d4f
--- /dev/null
+++ b/linux.properties
@@ -0,0 +1,7 @@
+#
+# linux.properties
+#
+# Properties for Linux builds.  Properties defined here override
+# those defined in default.properties, but may be overridden by
+# properties defined in a machine-specific build.properties file.
+#