From 7f4480a657ddd255ea35dfb089497e4fe0788262 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jukka=20Jyl=C3=A4nki?= Date: Mon, 7 Jul 2014 15:08:32 +0300 Subject: [PATCH] Update emsdk activate hint. --- emsdk | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/emsdk b/emsdk index 3e3c530..13b9e86 100755 --- a/emsdk +++ b/emsdk @@ -541,7 +541,10 @@ JS_ENGINES = [NODE_JS] path_add = get_required_path(active_tools) if not WINDOWS: - print "To conveniently access the selected set of tools from the command line, consider adding the following directories to PATH, or call '" + ('' if WINDOWS else 'source ') + os.path.relpath(sdk_path('emsdk_env')) + "' to do this for you." + emsdk_env = os.path.relpath(sdk_path('emsdk_env.sh')) + if not '/' in emsdk_env: + emsdk_env = './emsdk_env.sh' + print "To conveniently access the selected set of tools from the command line, consider adding the following directories to PATH, or call 'source " + emsdk_env + "' to do this for you." print '' print ' ' + ENVPATH_SEPARATOR.join(path_add)