diff options
Diffstat (limited to 'bin/ptxdist')
| -rwxr-xr-x | bin/ptxdist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index feac226e2..74a90beb6 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -2347,6 +2347,7 @@ setup_parallel() { # PTXDIST_PARALLELMFLAGS_INTERN="${PTXDIST_PARALLELMFLAGS_INTERN:-${pmf_intern}}" PTXDIST_PARALLELMFLAGS_EXTERN="${PTXDIST_PARALLELMFLAGS_EXTERN:-${pmf_extern}}" + export PTXDIST_PARALLELMFLAGS_EXTERN } |