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 2e0b8b9dd..25339e1ce 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -2573,7 +2573,7 @@ setup_auto_version() _get_config_ptx PTXDIST_PTXCONFIG="${saved_ptxconfig}" - if check_version "${configfile_version}"; then + if PTXDIST_FORCE= check_version "${configfile_version}"; then # this is already the correct version return fi |