e7b7e92 Fix the infiniband build requires.

Authored and Committed by wcohen 6 years ago
1 file changed. 14 lines added. 4 lines removed.
    Fix the infiniband build requires.
    
        
file modified
+14 -4