diff --git a/src/configure b/src/configure index 190fd42bf3f9e2af9a431e3fa17c352ff6d20d52..029254581e220e9e16d31d0f4a2c4bdff47f654e 100755 --- a/src/configure +++ b/src/configure @@ -9,7 +9,7 @@ if [ "x$XYZ" = "x" ] then # export VERSION_MASTER=${VERSION_MASTER:-MNH-V5-1} -export VERSION_BUG=${VERSION_BUG:-0} +export VERSION_BUG=${VERSION_BUG:-2} export VERSION_XYZ=${VERSION_XYZ:-${VERSION_MASTER}-${VERSION_BUG}} export VERSION_DATE=${VERSION_DATE:-"11/12/2013"} export VERSION_CDF=${VERSION_CDF-"3.6.3"}