Back out r9964. I wasn't paying attention: every control is in the
[sgt/putty] / configure
2011-07-23 simonMake the top-level configure wrapper executable. (I...
2011-07-23 simonAdd a wrapper script called 'configure' at the top...