diff options
| author | Oz Linden <oz@lindenlab.com> | 2010-12-24 07:41:41 -0500 |
|---|---|---|
| committer | Oz Linden <oz@lindenlab.com> | 2010-12-24 07:41:41 -0500 |
| commit | 14d830ca43a7114140ebeb16a76829db4d21a95b (patch) | |
| tree | 169ab24a903d59c762259810de684f1dcb8c4186 /scripts/install.py | |
| parent | 551bfb88fce8a9cd6faac440e3d89d79213550ed (diff) | |
| parent | 5a4bb72b8d37ca51deb84e1490fdefe2908d2d59 (diff) | |
merge improved fix for STORM_785
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) |