diff --git a/src/configure b/src/configure index 64e8661fc031d4ec8ba337ef0515f1720bb38f64..2ffe66e98f6268d487dccc904d8b2dc61b04438e 100755 --- a/src/configure +++ b/src/configure @@ -4,8 +4,8 @@ if [ "x$XYZ" = "x" ] then # -export VERSION_MASTER=${VERSION_MASTER:-MNH-V4-10} -export VERSION_BUG=${VERSION_BUG:-1} +export VERSION_MASTER=${VERSION_MASTER:-MNH-V5-1} +export VERSION_BUG=${VERSION_BUG:-0} 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"}