Do not pass "/usr" or "/usr/local" as path to configure

2016-06-11 16:41:39 -04:00 · 2016-06-11 16:41:39 -04:00 · 953b65abcc
commit 953b65abcc
parent bc038eb7c3
1 changed files with 1 additions and 1 deletions
--- a/var/spack/repos/builtin/packages/openmpi/package.py
+++ b/var/spack/repos/builtin/packages/openmpi/package.py
@ -142,7 +142,7 @@ def install(self, spec, prefix):
        ])
        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)