diff --git a/src/configure b/src/configure index 01d862a779480a130db91486aa7b7bd7aee4a310..e7179ce008ef069bd2b2207e63d2ec63def38642 100755 --- a/src/configure +++ b/src/configure @@ -7,7 +7,7 @@ #set -e if [ "x$XYZ" = "x" ] then -# +# export VERSION_MASTER=${VERSION_MASTER:-MNH-V5-1} export VERSION_BUG=${VERSION_BUG:-3} export VERSION_XYZ=${VERSION_XYZ:-${VERSION_MASTER}-${VERSION_BUG}}