Merge pull request #629 from marc1706/ticket/628

[ticket/628] Name portal builds based on git commit ID [ci skip]

build.xml

@@ -109,6 +109,16 @@
 				<exec dir="${build-directory}/../phpbb/phpBB/ext/board3/portal" command="rm phploc.phar" passthru="true" />
 			</else>
 		</if>
+		<if>
+			<equals arg1="$BUILD_NUMBER" arg2="" />
+			<then>
+				<echo msg="BUILD_NUMBER is not available" />
+			</then>
+			<else>
+				<exec dir="${build-directory}" command="echo $BUILD_NUMBER" outputProperty="version.override" passthru="true" />
+				<property name="version" value="${BUILD_NUMBER}" override="true" />
+			</else>
+		</if>
 	</target>
 
     <target name="test" depends="clean,composer,prepare-tests">