modified build.xml to release '1.4-dev'

franslundberg · May 7, 2017 · 398425e · 398425e
1 parent 4849995
commit 398425e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/build.xml b/build.xml
@@ -7,13 +7,15 @@ Instructions:
 
 * Modify stuff marked with "CHANGE" in this file.
 * Set JAVA_HOME environment variable.
+* Use (for example) "1.4-dev" while developing version 1.4, remove "1.4"
+  for final release.
 
 -->
 
 <project name="binson" default="build" basedir=".">
 
 <target name="init" description="Initializes properties and prints version, release, and build.">
-    <property name="release" value="1.3"/>  <!-- CHANGE for release build -->
+    <property name="release" value="1.4-dev"/>  <!-- CHANGE for release build -->
 
     <tstamp>
         <format property="dateString" pattern="yyMMdd" />