diff options
author | leyla_linden <none@none> | 2010-12-31 12:55:04 -0800 |
---|---|---|
committer | leyla_linden <none@none> | 2010-12-31 12:55:04 -0800 |
commit | 350a736d37de282e1e3c22627400d957f0e00dc5 (patch) | |
tree | 7427e593ce39ad2c50e1f217bad5b211a9eb3928 /scripts/install.py | |
parent | d196348d0f4bd542eee3702329dab28952b8a5e5 (diff) | |
parent | e3204165b9bb9b36cb11a8d0a4a4040634e707fc (diff) |
Merge
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) |