BUG: settings.sh: SGIMPI MPI_ROOT test
commit71e81924141969a26c5664e2e33c01adbf22a4b3
authormattijs <mattijs>
Wed, 12 Oct 2011 17:06:36 +0000 (12 18:06 +0100)
committermattijs <mattijs>
Wed, 12 Oct 2011 17:06:36 +0000 (12 18:06 +0100)
tree4d35a6852e2cba15d8910451b2ff9f468a78e990
parent43b68efa7007107e54430313d23069b714c5a921
BUG: settings.sh: SGIMPI MPI_ROOT test
etc/config/settings.sh