aboutsummaryrefslogtreecommitdiff
path: root/scripts/cmake
diff options
context:
space:
mode:
authorRobert Schumacher <roschuma@microsoft.com>2017-10-23 13:05:58 -0700
committerGitHub <noreply@github.com>2017-10-23 13:05:58 -0700
commit90a3a8a3afef435d5cfb68b2e16010c2329c55a6 (patch)
tree16be3bc8c9d602b53f84d85c61127a3a22067693 /scripts/cmake
parenta33c8809663b2c0f332e4a142da3d0ec68091bd6 (diff)
parent4ce8f0aa31da63f84fc81dfd895faaeb03d5c7b1 (diff)
downloadvcpkg-90a3a8a3afef435d5cfb68b2e16010c2329c55a6.tar.gz
vcpkg-90a3a8a3afef435d5cfb68b2e16010c2329c55a6.zip
Merge pull request #1972 from jasjuang/cgal
new port: cgal
Diffstat (limited to 'scripts/cmake')
-rw-r--r--scripts/cmake/vcpkg_from_github.cmake1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/cmake/vcpkg_from_github.cmake b/scripts/cmake/vcpkg_from_github.cmake
index 645690353..d14077410 100644
--- a/scripts/cmake/vcpkg_from_github.cmake
+++ b/scripts/cmake/vcpkg_from_github.cmake
@@ -80,6 +80,7 @@ function(vcpkg_from_github)
else()
# Sometimes GitHub strips a leading 'v' off the REF.
string(REGEX REPLACE "^v" "" REF ${BASEREF})
+ string(REPLACE "/" "-" REF ${REF})
set(SOURCE_PATH "${BASE}/${REPO_NAME}-${REF}")
if(EXISTS ${SOURCE_PATH})
set(${_vdud_OUT_SOURCE_PATH} "${SOURCE_PATH}" PARENT_SCOPE)