Add gss_duplicate_oid_set()

2020-04-18 21:32:45 -05:00
parent 92c288994a
commit 9f3d9e1a0a
6 changed files with 68 additions and 0 deletions
--- a/lib/gssapi/gssapi/gssapi.h
+++ b/lib/gssapi/gssapi/gssapi.h
@@ -751,6 +751,12 @@ GSSAPI_LIB_FUNCTION OM_uint32 GSSAPI_LIB_CALL gss_duplicate_oid (
 	    gss_OID * /* dest_oid */
           );

+GSSAPI_LIB_FUNCTION OM_uint32 GSSAPI_LIB_CALL gss_duplicate_oid_set (
+	    OM_uint32 * /* minor_status */,
+	    gss_OID_set /* src_oid */,
+	    gss_OID_set * /* dest_oid */
+           );
+
 GSSAPI_LIB_FUNCTION OM_uint32 GSSAPI_LIB_CALL
 gss_release_oid
 	(OM_uint32 * /*minor_status*/,