diff options
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/ptxdist | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index a878fb6ff..8af0ac839 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1971,6 +1971,9 @@ EOF fi while [ ${#} -gt 0 ]; do if [ -n "${!1}" ]; then + if [ "${PTXDIST_VERBOSE}" = "1" ]; then + echo -n "${1}=" + fi echo "${!1}" else local check |