diff --git a/src/configure b/src/configure index 2ff5971c3a73ccb129aade6f09dc29324046407e..01d862a779480a130db91486aa7b7bd7aee4a310 100755 --- a/src/configure +++ b/src/configure @@ -9,9 +9,9 @@ if [ "x$XYZ" = "x" ] then # export VERSION_MASTER=${VERSION_MASTER:-MNH-V5-1} -export VERSION_BUG=${VERSION_BUG:-2} +export VERSION_BUG=${VERSION_BUG:-3} export VERSION_XYZ=${VERSION_XYZ:-${VERSION_MASTER}-${VERSION_BUG}} -export VERSION_DATE=${VERSION_DATE:-"29/04/2014"} +export VERSION_DATE=${VERSION_DATE:-"22/05/2014"} export VERSION_CDF=${VERSION_CDF-"3.6.3"} export VERSION_GRIBAPI=${VERSION_GRIBAPI-"1.9.9"} export MNH_INT=${MNH_INT-"I4"}