diff options
author | callum <none@none> | 2011-01-05 15:52:43 -0800 |
---|---|---|
committer | callum <none@none> | 2011-01-05 15:52:43 -0800 |
commit | b9ca6c553cf158c5b485947f8b560228a196c1d7 (patch) | |
tree | df710eb467a1c0fbfb5d7906232f23a36f6fc7c1 /scripts/install.py | |
parent | ed3ea14984e322462ed466805e47b29a6f658279 (diff) | |
parent | d5a0c56bf5d933b7cee072cbc1851a626e672ded (diff) |
Merge with viewer-development
Diffstat (limited to 'scripts/install.py')
-rwxr-xr-x | scripts/install.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/install.py b/scripts/install.py index c2adf4d0a2..d3bdf52283 100755 --- a/scripts/install.py +++ b/scripts/install.py @@ -486,7 +486,7 @@ windows/i686/vs/2003 -- specify a windows visual studio 2003 package""" for filename in remove_file_list: print "rm",filename if not self._dryrun: - if os.path.exists(filename): + if os.path.lexists(filename): remove_dir_set.add(os.path.dirname(filename)) try: os.remove(filename) |