diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/ports.cmake | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/ports.cmake b/scripts/ports.cmake index 20e59a184..9681427d7 100644 --- a/scripts/ports.cmake +++ b/scripts/ports.cmake @@ -114,6 +114,9 @@ if(CMD MATCHES "^BUILD$") if (DEFINED VCPKG_POLICY_ALLOW_RESTRICTED_HEADERS) file(APPEND ${BUILD_INFO_FILE_PATH} "PolicyAllowRestrictedHeaders: ${VCPKG_POLICY_ALLOW_RESTRICTED_HEADERS}\n") endif() + if (DEFINED VCPKG_POLICY_SKIP_DUMPBIN_CHECKS) + file(APPEND ${BUILD_INFO_FILE_PATH} "PolicySkipDumpbinChecks: ${VCPKG_POLICY_SKIP_DUMPBIN_CHECKS}\n") + endif() if (DEFINED VCPKG_HEAD_VERSION) file(APPEND ${BUILD_INFO_FILE_PATH} "Version: ${VCPKG_HEAD_VERSION}\n") endif() |