need ServerOptions for gsi_allow_limited_proxy

diff --git a/openssh/gss-serv.c b/openssh/gss-serv.c
index 52298a6290a4d85af3e2de6bdc9f1e120c5bb81b..54183da6868ce708b5bc5d4c1f0e83dfd8f83103 100644 (file)
--- a/openssh/gss-serv.c
+++ b/openssh/gss-serv.c
@@ -40,6 +40,8 @@
 
 #include "ssh-gss.h"
 
+extern ServerOptions options;
+
 static ssh_gssapi_client gssapi_client =
     { GSS_C_EMPTY_BUFFER, GSS_C_EMPTY_BUFFER,
     GSS_C_NO_CREDENTIAL, NULL, {NULL, NULL, NULL}};