diff options
Diffstat (limited to 'bin/ptxdist')
| -rwxr-xr-x | bin/ptxdist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 7a07ecdfe..1afd6b0c7 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -2408,7 +2408,7 @@ setup_parallel() { PTXDIST_OUTPUT_SYNC="${PTXDIST_OUTPUT_SYNC:-${PTXDIST_QUIET}}" if [ "${PTXDIST_OUTPUT_SYNC}" == "1" ]; then - if make -h | grep -q -- --output-sync; then + if "${PTXCONF_SETUP_HOST_MAKE}" -h | grep -q -- --output-sync; then PTXDIST_OUTPUT_SYNC="--output-sync=" fi fi |