ec1bd85 rebuild for changed library inside openmpi

Authored and Committed by Thomas Spura 9 years ago
    rebuild for changed library inside openmpi
    
        
file modified
+4 -1