Branch indexing
 > /usr/local/bin/git rev-parse --is-inside-work-tree # timeout=10
Setting origin to https://github.com/eclipse/Xpect.git
 > /usr/local/bin/git config remote.origin.url https://github.com/eclipse/Xpect.git # timeout=10
Fetching origin...
Fetching upstream changes from origin
 > /usr/local/bin/git --version # timeout=10
 > /usr/local/bin/git fetch --tags --progress origin +refs/heads/*:refs/remotes/origin/*
Seen branch in repository origin/gh-pages
Seen branch in repository origin/master
Seen branch in repository origin/master_with_history
Seen 3 remote branches
Obtained Jenkinsfile from fdfd0a76a463f836779f8b41a300c6a207987a36
[Pipeline] node
Running on master in /home/hudson/genie.xpect/.jenkins/jobs/Xpect/branches/master-with-history.421n8t/workspace
[Pipeline] {
[Pipeline] tool
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline
ERROR: No tool named M3 found
Finished: FAILURE