diff --git a/src/configure b/src/configure index 81b84992b98426e7cba50bb6642ca8f84967bc17..12dab4b4324d839e0993c64c4f6f32b988367578 100755 --- a/src/configure +++ b/src/configure @@ -9,7 +9,7 @@ if [ "x$XYZ" = "x" ] then # export VERSION_MASTER=${VERSION_MASTER:-MNH-V5-2} -export VERSION_BUG=${VERSION_BUG:-1} +export VERSION_BUG=${VERSION_BUG:-2} export VERSION_XYZ=${VERSION_XYZ:-${VERSION_MASTER}-${VERSION_BUG}} export VERSION_DATE=${VERSION_DATE:-"02/05/2016"} export VERSION_CDF=${VERSION_CDF:-"4.1.3"}