flecsi: fix build (#6168)

This commit is contained in:
Christoph Junghans 2017-11-08 14:03:05 -07:00 committed by GitHub
parent 04f32377b2
commit d8db861fec
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -54,7 +54,6 @@ def cmake_args(self):
if '+mpi' in self.spec:
options.extend([
'-DENABLE_MPI=ON',
'-DFLECSI_RUNTIME_MODEL=mpilegion'
])
return options