Patch from Alejandro Sedeno, somewhat modified by me, which

[u/mdw/putty] / sshnogss.c

diff --git a/sshnogss.c b/sshnogss.c
new file mode 100644 (file)
index 0000000..715d8df
--- /dev/null
+++ b/sshnogss.c
@@ -0,0 +1,10 @@
+#include "putty.h"
+#ifndef NO_GSSAPI
+
+/* For platforms not supporting GSSAPI */
+
+void ssh_gss_init(void)
+{
+}
+
+#endif /* NO_GSSAPI */