# HG changeset patch
# Parent  7e179ee91af08f672a34147998c57d0f7b8e1847
win_add2path.py: Add directories to PATH even if they don't exist yet

diff -r 7e179ee91af0 -r 159b03019f46 Tools/scripts/win_add2path.py
--- a/Tools/scripts/win_add2path.py	Mon Mar 23 15:26:49 2015 +0200
+++ b/Tools/scripts/win_add2path.py	Mon Mar 23 19:36:39 2015 +0000
@@ -36,7 +36,7 @@
 
         paths = [envpath]
         for path in (pythonpath, scripts, userscripts):
-            if path and path not in envpath and os.path.isdir(path):
+            if path and path not in envpath:
                 paths.append(path)
 
         envpath = os.pathsep.join(paths)