This commit is contained in:
Maxime Gimeno 2018-03-07 13:19:51 +01:00
parent 4adbbdcab6
commit b407e407c7
1 changed files with 1 additions and 1 deletions

View File

@ -309,7 +309,7 @@ if [ -n "$DO_PUBLIC" ]; then
fi fi
public_release_version="${MAJOR_NUMBER}.${MINOR_NUMBER}${BUGFIX_STRING}" public_release_version="${MAJOR_NUMBER}.${MINOR_NUMBER}${BUGFIX_STRING}"
if [ -n "$BETA" ]; then if [ -n "$BETA" ]; then
public_release_name="CGAL-${public_release_version}-beta${$BETA}" public_release_name="CGAL-${public_release_version}-beta${BETA}"
elif [ -r "${NUMBERS_DIR}/public_release_name" ]; then elif [ -r "${NUMBERS_DIR}/public_release_name" ]; then
public_release_name=`cat "${NUMBERS_DIR}/public_release_name"` public_release_name=`cat "${NUMBERS_DIR}/public_release_name"`
else else