From b8ac3d2a175799678691bd123d7e1cb1d42b46f8 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Fri, 15 Nov 2013 18:35:41 -0800 Subject: precise clock_gettime when not using CLOCK_REALTIME; fixes #1795 --- tools/shared.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/shared.py') diff --git a/tools/shared.py b/tools/shared.py index 5b165b8b..0a6740b9 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -307,7 +307,7 @@ def find_temp_directory(): # we re-check sanity when the settings are changed) # We also re-check sanity and clear the cache when the version changes -EMSCRIPTEN_VERSION = '1.7.6' +EMSCRIPTEN_VERSION = '1.7.7' def generate_sanity(): return EMSCRIPTEN_VERSION + '|' + get_llvm_target() + '|' + LLVM_ROOT -- cgit v1.2.3-18-g5258