0ca3d5c disable openmpi for ARM as we currently don't have it

Authored and Committed by pbrobinson 12 years ago
1 file changed. 5 lines added. 8 lines removed.
    disable openmpi for ARM as we currently don't have it
    
        
file modified
+5 -8