diff options
| author | Todd Gamblin <tgamblin@llnl.gov> | 2016-06-15 09:06:12 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-15 09:06:12 -0700 |
| commit | c803f7ae98dd7a1762e4eda89145e6ca50091136 (patch) | |
| tree | cbd4c93449213f84d981c15a509d46286ef34e3b /var | |
| parent | 4ede87a8b00545021131aa15dd1cd8b2f4100528 (diff) | |
| parent | 953b65abccf392e2a565fe9c1b3c1101f0cb5b66 (diff) | |
| download | spack-c803f7ae98dd7a1762e4eda89145e6ca50091136.tar.gz spack-c803f7ae98dd7a1762e4eda89145e6ca50091136.tar.bz2 spack-c803f7ae98dd7a1762e4eda89145e6ca50091136.tar.xz spack-c803f7ae98dd7a1762e4eda89145e6ca50091136.zip | |
Merge pull request #1045 from eschnett/eschnett/openmpi-verbs-usr
Do not pass "/usr" or "/usr/local" as path to configure
Diffstat (limited to 'var')
| -rw-r--r-- | var/spack/repos/builtin/packages/openmpi/package.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/var/spack/repos/builtin/packages/openmpi/package.py b/var/spack/repos/builtin/packages/openmpi/package.py index 4e465e1784..0638628a6c 100644 --- a/var/spack/repos/builtin/packages/openmpi/package.py +++ b/var/spack/repos/builtin/packages/openmpi/package.py @@ -142,7 +142,7 @@ class Openmpi(Package): ]) if '+verbs' in spec: 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)) else: config_args.append('--with-%s' % self.verbs) |