Triggered by Gerrit: http://git.eclipse.org/r/#/c/98287 Checkout:workspace / /home/hudson/genie.efm/.hudson/jobs/efm-symbex-gerrit/workspace - hudson.remoting.LocalChannel@6b428d00 Using strategy: Gerrit Trigger Git Exe: git Last Built Revision: Revision e58277b79dca4e646359ba52d68e1b21bc1810fa (null) Checkout:workspace / /home/hudson/genie.efm/.hudson/jobs/efm-symbex-gerrit/workspace - hudson.remoting.LocalChannel@6b428d00 Fetching changes from the remote Git repository Fetching upstream changes from /gitroot/efm/org.eclipse.efm-symbex.git Commencing build of Revision ba0bfc68aaeb6119999e96773d3c7b89ddc4bcbb (null) Checking out Revision ba0bfc68aaeb6119999e96773d3c7b89ddc4bcbb (null) [workspace] $ /bin/sh -xe /tmp/hudson9205559931592023555.sh + echo '==== OK ===' ==== OK === Finished: SUCCESS