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

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 -->
     <!-- **************************************** -->