Skip to content
Snippets Groups Projects
Commit c803f7ae authored by Todd Gamblin's avatar Todd Gamblin Committed by GitHub
Browse files

Merge pull request #1045 from eschnett/eschnett/openmpi-verbs-usr

Do not pass "/usr" or "/usr/local" as path to configure
parents 4ede87a8 953b65ab
No related branches found
No related tags found
No related merge requests found
...@@ -142,7 +142,7 @@ def install(self, spec, prefix): ...@@ -142,7 +142,7 @@ def install(self, spec, prefix):
]) ])
if '+verbs' in spec: if '+verbs' in spec:
path = _verbs_dir() path = _verbs_dir()
if path is not None: if path is not None and path not in ('/usr', '/usr/local'):
config_args.append('--with-%s=%s' % (self.verbs, path)) config_args.append('--with-%s=%s' % (self.verbs, path))
else: else:
config_args.append('--with-%s' % self.verbs) config_args.append('--with-%s' % self.verbs)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment