specify git.version property for 3.1.4

jorgedfbranco · Feb 18, 2016 · aeb1e85 · aeb1e85
1 parent 2f8d54c
commit aeb1e85
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/build.xml b/build.xml
@@ -12,8 +12,8 @@
  -->
 <project name="JikesRVM" default="main" basedir=".">
 
-  <property name="rvm.version" value="3.1.4+git"/>
-  <!-- <property name="git.revision" value="XXX"/> -->
+  <property name="rvm.version" value="3.1.4"/>
+  <property name="git.revision" value="2f8d54c6ac12c720c92f9fe18d925315e4685bac"/>
 
   <property name="jikesrvm.dir" location="${basedir}"/>
   <import file="build/base.xml"/>