diff options
-rwxr-xr-x | bin/ptxdist | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 224bbe2d8..970cb9aad 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -2373,6 +2373,9 @@ setup_parallel() { PTXDIST_OUTPUT_SYNC="--output-sync=" fi fi + if [[ "${PTXDIST_OUTPUT_SYNC}" =~ [01] ]]; then + unset PTXDIST_OUTPUT_SYNC + fi # # user may override these, via cmdline |