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 d0cf1b931..f52a668d3 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1505,6 +1505,9 @@ do_config() if [ ${retval} -ne 0 ]; then echo echo "${PTXDIST_LOG_PROMPT}'${config}${part:+ }${part}' returned with an error" + if [ -z "${PTXDIST_FORCE}" ]; then + echo "${PTXDIST_LOG_PROMPT}for warnings, --force can be used to continue anyways" + fi echo if [ -n "${PTX_MENU}" ]; then read |