diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/ptxdist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 9394b1739..cd673a9f3 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -250,7 +250,7 @@ _get_config_ptx() { configfile_version="$(ptxd_get_ptxconf PTXCONF_CONFIGFILE_VERSION)" - if [ $? -ne 0 -a -n "${PTXDIST_FORCE}" ]; then + if [ $? -ne 0 -a -z "${PTXDIST_FORCE}" ]; then ptxd_dialog_msgbox \ "error: the config file '${PTXDIST_PTXCONFIG#${PTXDIST_WORKSPACE}/}'\n" \ " is missing the symbol 'PTXCONF_CONFIGFILE_VERSION',\n" \ |