From 8992935e303556dc554d7a38e9e9a73492605ef8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jukka=20Jyl=C3=A4nki?= Date: Mon, 7 Jul 2014 12:27:10 +0300 Subject: [PATCH] Remove reference to old bat file. --- emsdk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/emsdk b/emsdk index 6810b81..ad25895 100755 --- a/emsdk +++ b/emsdk @@ -539,7 +539,7 @@ 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_add_path')) + "' to do this for you." + 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." print '' print ' ' + ENVPATH_SEPARATOR.join(path_add)