diff --git a/scripts/config.sh b/scripts/config.sh index 8eb6e78d..3fc04ad3 100755 --- a/scripts/config.sh +++ b/scripts/config.sh @@ -102,6 +102,8 @@ function print_environment() { echo " VERSION: ${VERSION}" echo " MAJOR_VERSION: ${MAJOR_VERSION}" echo " CODENAME: ${CODENAME}" + echo " PHYSICAL_CODENAME: ${PHYSICAL_CODENAME}" + echo " VIRTUAL_CODENAME: ${VIRTUAL_CODENAME}" echo " DOC_VERSION: ${DOC_VERSION}" echo " CURRENT_RELEASE: ${CURRENT_RELEASE}" echo " PRE_RELEASE: ${PRE_RELEASE}"