diff options
| author | Oz Linden <oz@lindenlab.com> | 2011-01-06 14:31:17 -0500 |
|---|---|---|
| committer | Oz Linden <oz@lindenlab.com> | 2011-01-06 14:31:17 -0500 |
| commit | a9686db3e606ec45d23265fd34a1a35498f39857 (patch) | |
| tree | b20758ac0beda679834eafbcdd203780449be334 /scripts/install.py | |
| parent | 7105d98e24185f9ce31be1fe1b26c3ae1552e71f (diff) | |
| parent | 1034db639462d95e54e9bf9e4d63500b745bb0a2 (diff) | |
merge changes for storm-438
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) |