Merge pull request #3328 from wavewave/krb5fix
krb5: explicitly giving --with-tcl=no option for configure to remove imp...
Michael Raskin 11 years ago 15ec9bde d459b587