diff --git a/doc/contributions.txt b/doc/contributions.txt index 740c2f470c6a39ee4e3ce4377a2738246d4d87fd..3f080dfb6d25df0092593afbddcf7900adb1a0a1 100644 --- a/doc/contributions.txt +++ b/doc/contributions.txt @@ -74,6 +74,7 @@ Aleric Inglewood VWR-14426 SNOW-84 SNOW-477 + SNOW-744 SNOW-766 STORM-163 Ales Beaumont diff --git a/scripts/install.py b/scripts/install.py index c2adf4d0a27ce79b9edfb4a28ea594141a13039b..d3bdf52283778899aab8476a71862f012389bb20 100755 --- a/scripts/install.py +++ b/scripts/install.py @@ -486,7 +486,7 @@ def _uninstall(self, installables): 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)