diff options
-rw-r--r-- | configuration.ccl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configuration.ccl b/configuration.ccl index 8faa821..4839faa 100644 --- a/configuration.ccl +++ b/configuration.ccl @@ -2,3 +2,7 @@ # $Header$ REQUIRES PUGH + +OPTIONAL MPI +{ +} |