Avoid double 'lib' for packages whose name already starts with lib (#7651)

This commit is contained in:
Adam J. Stewart
2018-03-31 10:33:41 -05:00
committed by Massimiliano Culpo
parent 5106efe495
commit cdefbd7475
4 changed files with 51 additions and 12 deletions

View File

@@ -201,9 +201,9 @@ def change_sed_delimiter(old_delim, new_delim, *filenames):
def set_install_permissions(path):
"""Set appropriate permissions on the installed file."""
# If this points to a file maintained in a Spack prefix, it is assumed that
# this function will be invoked on the target. If the file is outside a
# Spack-maintained prefix, the permissions should not be modified.
# If this points to a file maintained in a Spack prefix, it is assumed that
# this function will be invoked on the target. If the file is outside a
# Spack-maintained prefix, the permissions should not be modified.
if os.path.islink(path):
return
if os.path.isdir(path):