distr_info: don't print orig version if it is the same as release

4f9a2d73 · Vitaly Lipatov · f02a1c0a · 4f9a2d73
Commit 4f9a2d73 authored Jul 16, 2023 by Vitaly Lipatov
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

distr_info bin/distr_info +1 -1

No files found.
--- a/bin/distr_info
+++ b/bin/distr_info
@@ -906,7 +906,7 @@ print_pretty_name()
 print_total_info()
 {
 local orig=''
-[ -n "$BUILD_ID" ] && orig=" (orig. $BUILD_ID)"
+[ -n "$BUILD_ID" ] && [ "$DISTRIB_FULL_RELEASE" != "$BUILD_ID" ] && orig=" (orig. $BUILD_ID)"
 local EV=''
 [ -n "$EPMVERSION" ] && EV="(EPM version $EPMVERSION) "
 cat <<EOF