diff options
Diffstat (limited to 'makevms.com')
-rwxr-xr-x | makevms.com | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makevms.com b/makevms.com index 6a73441b33..0f403db1d5 100755 --- a/makevms.com +++ b/makevms.com @@ -830,7 +830,7 @@ $ EXHEADER_PKCS7 := pkcs7.h $ EXHEADER_PKCS12 := pkcs12.h $ EXHEADER_COMP := comp.h $ EXHEADER_OCSP := ocsp.h -$ EXHEADER_UI := ui.h, ui_compat.h +$ EXHEADER_UI := ui.h $ EXHEADER_KRB5 := krb5_asn.h $ EXHEADER_CMS := cms.h $ EXHEADER_PQUEUE := pqueue.h |