It turns out I was a little over-strict in my handling of EOF in
[u/mdw/putty] / Buildscr.cv
2013-07-22 simonAdd a bob script to do Coverity scanning.