Unset GREP_OPTIONS at the start of the build. Custom grep options set in environment variables can break the build, e.g. note the line number (-n) in the following output

     ===== Processing 'gold' =====
     ===== Cloning from 2:git@github.com:t-crest/patmos-gold.git =====
    Cloning into /home/jamie/patmos/patmos-misc/gold...
    ssh: connect to host 2 port 22: Invalid argument
    fatal: The remote end hung up unexpectedly
Merge pull request #3 from t-crest/jamie_grepkill

Unset GREP_OPTIONS at the start of the build.
build.sh: fix install of poseidon with symlinks
Added platin WCET analysis demo script
Updated machine configuration and store files in output dir
build.sh: Do not install linker scripts.
Added file to get statistics for the function splitter
Added script to run WCET benchmarks
Some improvements to the function splitter statistics script
Added script to get splitter statistics table
build.sh: added optional NICENESS option
unset CDPATH in gitall as well
Merge pull request #4 from alexjordan/buildbot-dtu

buildbot: added builders for Helena at DTU
buildbot: aegean and (future) codebases support

Using codebases allows the use of multiple source repos in a single builder to
work with incoming changes. This requires a newer buildmaster than currently
available at vmars, so everything is commented out for now.