building openmpi-1.9a1r30128-1, I notice

---------------------------------
# Version information for libmpi.
current=0
age=0
revision=0
----------------------------------

while on 1.7.3 is
----------------------------------
# Version information for libmpi.
current=3
age=2
revision=0
----------------------------------


Is this intentional ?

Regards
Marco


Reply via email to