Remove unused EMSDK_DEV option. (#393)

This commit is contained in:
juj 2019-11-25 19:56:28 +02:00 коммит произвёл GitHub
Родитель a5082b2326
Коммит 5b75fb38da
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 1 добавлений и 12 удалений

Просмотреть файл

@ -30,18 +30,7 @@ else:
from urlparse import urljoin
from urllib2 import urlopen
# EMSDK_DEV is a developer mode flag, which, if true, the SDK is downloaded from
# a 'staging' online source, instead of the public source. New releases are
# first deployed to the staging source for testing, before being published to
# the public. Don't enable this unless you develop EMSDK itself and need to
# access the staging source repository instead.
EMSDK_DEV = int(os.environ.get('EMSDK_DEV', '0'))
if EMSDK_DEV:
print('EMSDK_DEV active.')
emsdk_master_server = 'http://clb.demon.fi/emscripten_dev/packages/'
else:
emsdk_master_server = 'https://storage.googleapis.com/webassembly/emscripten-releases-builds/deps/'
emsdk_master_server = 'https://storage.googleapis.com/webassembly/emscripten-releases-builds/deps/'
emsdk_packages_url = emsdk_master_server