admin/ci-emsdk
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix random errors fetching from github

Browse Source 
It seems github requires a specific URL format for reaching repos. `emsdk update-tags` will randomly fail when the convention is not followed.
This commit is contained in:
Jay Oster
2017-05-04 23:40:35 -07:00
committed by GitHub
parent 247afc1108
commit e6e8157123
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
emsdk
View File

@@ -24,8 +24,8 @@ else:
emsdk_packages_url = urljoin(emsdk_master_server, 'packages/') emsdk_packages_url = urljoin(emsdk_master_server, 'packages/')
emscripten_git_repo = 'https://github.com/kripken/emscripten/' emscripten_git_repo = 'https://github.com/kripken/emscripten.git'
binaryen_git_repo = 'https://github.com/WebAssembly/binaryen/' binaryen_git_repo = 'https://github.com/WebAssembly/binaryen.git'
# Enable this to do very verbose printing about the different steps that are being run. Useful for debugging. # Enable this to do very verbose printing about the different steps that are being run. Useful for debugging.
VERBOSE = bool(os.getenv('EMSDK_VERBOSE')) if os.getenv('EMSDK_VERBOSE') != None else False VERBOSE = bool(os.getenv('EMSDK_VERBOSE')) if os.getenv('EMSDK_VERBOSE') != None else False