From 5b9c533a20a5c24ab22d78065234fc286f25918d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jukka=20Jyl=C3=A4nki?= Date: Wed, 11 Sep 2013 21:34:13 +0300 Subject: [PATCH] Download emsdk.bat on update. --- emsdk | 1 + 1 file changed, 1 insertion(+) diff --git a/emsdk b/emsdk index b26bb26..df4f1d4 100644 --- a/emsdk +++ b/emsdk @@ -573,6 +573,7 @@ def update_emsdk(): if WINDOWS: download_text_file(emsdk_master_server + 'emsdk_add_path.bat', emsdk_path(), download_even_if_exists=True) download_text_file(emsdk_master_server + 'emcmdprompt.bat', emsdk_path(), download_even_if_exists=True) + download_text_file(emsdk_master_server + 'emsdk.bat', emsdk_path(), download_even_if_exists=True) else: download_text_file(emsdk_master_server + 'emsdk_add_path', emsdk_path(), download_even_if_exists=True) print 'Update complete.'