+ <!-- update the git repo linked to the eclipse workspace -->
+ <exec executable="/usr/bin/git" outputproperty="git.commit" failifexecutionfails="true">
+ <arg value="rev-parse" />
+ <arg value="--short" />
+ <arg value="HEAD" />
+ </exec>
+ <!-- and checkout the same commit in the workspace project -->
+ <exec executable="/usr/bin/git" failifexecutionfails="true" dir="${eclipse-workrepo}">
+ <arg value="checkout" />
+ <arg value="${git.commit}" />
+ </exec>