diff -r b8549f5dd524 -r 5ca030e49462 components/krb5/Makefile --- a/components/krb5/Makefile Thu Feb 25 12:34:50 2016 -0800 +++ b/components/krb5/Makefile Thu Feb 25 12:02:04 2016 -0800 @@ -39,6 +39,14 @@ include $(WS_MAKE_RULES)/prep.mk include $(WS_MAKE_RULES)/configure.mk + +# Depends on S12-only header file in ON. +ifeq ($(BUILD_TYPE), evaluation) +BUILD_32_and_64= +INSTALL_32_and_64= +PUBLISH_STAMP= +endif + include $(WS_MAKE_RULES)/ips.mk # Encoding rules for IPS: MIT KerberosV5 .[.] => IPS ..[|0].0