From bd3336ab18bbcf15672286d1ddb5f71a12c75598 Mon Sep 17 00:00:00 2001
From: jbasney <jbasney>
Date: Wed, 10 May 2006 14:41:05 +0000
Subject: [PATCH] need ServerOptions for gsi_allow_limited_proxy

---
 openssh/gss-serv.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/openssh/gss-serv.c b/openssh/gss-serv.c
index 52298a6..54183da 100644
--- 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}};
-- 
2.45.2