I had to git rm -r the devel directory and add it to the gitignore file. Seems obvious now. I took the error to mean the setup.bash was malformed, partly because builds work fine with it included locally, and I forgot it was a build artefact.