fix for bug 773020 - splitting PATH should use os.pathsep

diff --git a/Tools/scripts/which.py b/Tools/scripts/which.py
index 99dc35544c6aeba640930c6c7caabf88097a5c5c..218254677bdbb006e4e66efde4c5897498dc771b 100755 (executable)
--- a/Tools/scripts/which.py
+++ b/Tools/scripts/which.py
@@ -13,7 +13,7 @@ from stat import *
 def msg(str):
     sys.stderr.write(str + '\n')
 
-pathlist = os.environ['PATH'].split(':')
+pathlist = os.environ['PATH'].split(os.pathsep)
 
 sts = 0
 longlist = ''