| commit | 7f7e1371ebf897942a18939e2262277e16c83637 | [log] [tgz] |
|---|---|---|
| author | Skip Montanaro <skip@pobox.com> | Thu Jul 17 16:45:43 2003 +0000 |
| committer | Skip Montanaro <skip@pobox.com> | Thu Jul 17 16:45:43 2003 +0000 |
| tree | 80c584dd4a3830deb55c679dc4033905a979beb1 | |
| parent | bd9f520907f3176fe448953848108dddae97d2d7 [diff] |
fix for bug 773020 - splitting PATH should use os.pathsep
diff --git a/Tools/scripts/which.py b/Tools/scripts/which.py index 99dc355..2182546 100755 --- a/Tools/scripts/which.py +++ b/Tools/scripts/which.py
@@ -13,7 +13,7 @@ def msg(str): sys.stderr.write(str + '\n') -pathlist = os.environ['PATH'].split(':') +pathlist = os.environ['PATH'].split(os.pathsep) sts = 0 longlist = ''