diff options
| author | Robert Schumacher <roschuma@microsoft.com> | 2020-02-06 15:41:38 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-06 15:41:38 -0800 |
| commit | 5affb590fde248a4dc1fa0eebe7bf64688bd75e2 (patch) | |
| tree | 2180afaa8d2caf274503cc010aba71dcc23757c9 /scripts | |
| parent | 9c910eccc231fb1a9232847b4435357d15794727 (diff) | |
| parent | 877ebc43249461196670dbecd3c1cfd5a6265d2a (diff) | |
| download | vcpkg-5affb590fde248a4dc1fa0eebe7bf64688bd75e2.tar.gz vcpkg-5affb590fde248a4dc1fa0eebe7bf64688bd75e2.zip | |
Merge pull request #9901 from Neumann-A/skip_dumpbin
[vcpkg] Add policy VCPKG_POLICY_SKIP_DUMPBIN_CHECKS
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() |