From 4dfaa92819e070a4bca1e549ed49abb52ad0c258 Mon Sep 17 00:00:00 2001 From: Michael Olbrich Date: Fri, 27 May 2016 08:57:09 +0200 Subject: ptxdist: fix --no-output-sync Signed-off-by: Michael Olbrich --- bin/ptxdist | 3 +++ 1 file changed, 3 insertions(+) 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 -- cgit v1.2.3