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