parent
0fe9cb5d1c
commit
7c0a759a26
@ -81,7 +81,7 @@ def configure_args(self):
|
|||||||
'--with-hypre=no',
|
'--with-hypre=no',
|
||||||
'--with-petsc=no'])
|
'--with-petsc=no'])
|
||||||
|
|
||||||
if '+debug' in spec:
|
if '+debug' in self.spec:
|
||||||
options.extend([
|
options.extend([
|
||||||
'--disable-opt',
|
'--disable-opt',
|
||||||
'--enable-debug'])
|
'--enable-debug'])
|
||||||
|
Loading…
Reference in New Issue
Block a user