X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?a=blobdiff_plain;f=build.xml;h=a122a38cda7cd4010998e35f5f93e3ec9a58c5f9;hb=1601c2c11f9f93dbb8c6d64c9e584c5dd42f79c6;hp=762aef3448059dd8656e15eff8928a9488401f2e;hpb=77e39fac55f1a366814d35e75659cb6d88cca4e1;p=mjc2wsl.git

diff --git a/build.xml b/build.xml
index 762aef3..a122a38 100644
--- a/build.xml
+++ b/build.xml
@@ -173,6 +173,28 @@
             </exec>
     </target>
 
+    <target name="git-version-string" if="version">
+            <!-- explicitly store the new  version string in git -->
+            <!-- needs the version set already, preferably from the command line -->
+            <echo message="version=${version}"/>
+            <dirname file="${version.file}" property="version.file.dir"/>
+            <mkdir dir="${version.file.dir}" />
+            <propertyfile file="${version.file}">
+                    <entry key="version" value="${version}"/>
+            </propertyfile>
+	    <!-- remove the first line with the date if you can.
+		 for whatever reason Java Properties always writes this
+	      -->
+	    <exec executable="sed" failifexecutionfails="false">
+	      <arg line="-e '1d' -i ${version.file}"/>
+	    </exec>
+            <exec executable="git" failifexecutionfails="false">
+                    <arg value="update-index"/>
+                    <arg value="--no-assume-unchanged"/>
+                    <arg value="${version.file}"/>
+            </exec>
+    </target>
+
     <!-- **************************************** -->
     <!-- mjc2wsl related tasks -->
     <!-- **************************************** -->