diff options
-rw-r--r-- | scripts/lib/ptxd_make_serialize.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/lib/ptxd_make_serialize.sh b/scripts/lib/ptxd_make_serialize.sh index a9586df48..44e577c14 100644 --- a/scripts/lib/ptxd_make_serialize.sh +++ b/scripts/lib/ptxd_make_serialize.sh @@ -49,7 +49,7 @@ ptxd_make_serialize_init() { local num="${PTXDIST_PARALLELMFLAGS#-j}" local sync - if make -h | grep -q -- --output-sync; then + if make -h | grep -q -- --output-sync && [ -n "${PTXDIST_FD_STDOUT}" ]; then sync="--output-sync=" fi |