diff --git a/src/configure b/src/configure index a097db3929f0a79a496b05fcbb1b7bbb6cb56019..fffff9f0145922c2a156aa321b669388a87b3e21 100755 --- a/src/configure +++ b/src/configure @@ -8,7 +8,7 @@ if [ "x$XYZ" = "x" ] then # -export VERSION_MASTER=${VERSION_MASTER:-MNH-V5-5} +export VERSION_MASTER=${VERSION_MASTER:-MNH-V5-5-} export VERSION_BUG=${VERSION_BUG:-0} export VERSION_XYZ=${VERSION_XYZ:-${VERSION_MASTER}-${VERSION_BUG}${VER_OASIS:+-${VER_OASIS}}} export VERSION_DATE=${VERSION_DATE:-"14/09/2020"}