diff configure @ 35256:4ca7b3dfb574

Fix crash when not able to find a mpi by using an early return.
author reimar
date Mon, 05 Nov 2012 20:58:38 +0000
parents 777fc6f5cd6f
children 0f09dd8843bf
line wrap: on
line diff