Merge remote-tracking branch 'origin/community' into community
This commit is contained in:
commit
72238c28ad
|
@ -17,7 +17,7 @@ else:
|
||||||
VCPKG_PATH = Path(__file__).parent / 'vcpkg'
|
VCPKG_PATH = Path(__file__).parent / 'vcpkg'
|
||||||
|
|
||||||
if len(sys.argv) > 3:
|
if len(sys.argv) > 3:
|
||||||
print("the argumnets after the second one are ignored")
|
print("the arguments after the second one are ignored")
|
||||||
|
|
||||||
|
|
||||||
if not VCPKG_PATH.exists():
|
if not VCPKG_PATH.exists():
|
||||||
|
@ -57,4 +57,4 @@ with open(PKG_VERSION_JSON_PATHNAME) as f:
|
||||||
versions_set = sorted(set(versions_list), reverse=True)
|
versions_set = sorted(set(versions_list), reverse=True)
|
||||||
|
|
||||||
for version in versions_set:
|
for version in versions_set:
|
||||||
print(version)
|
print(version)
|
||||||
|
|
Loading…
Reference in New Issue