diff options
Diffstat (limited to 'bin/ptxdist')
| -rwxr-xr-x | bin/ptxdist | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 61037a4f8..137d76824 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1305,10 +1305,10 @@ parse_first() PTXDIST_PARALLELMFLAGS_EXTERN="-j${arg#*e}" ;; -l*) - PTXDIST_LOADMFLAGS_INTERN="-l${arg#*l}" + PTXDIST_LOADMFLAGS="-l${arg#*l}" ;; --load-average=*) - PTXDIST_LOADMFLAGS_INTERN="-l${arg#*=}" + PTXDIST_LOADMFLAGS="-l${arg#*=}" ;; -n*) PTX_NICE="${arg#*n}" @@ -2610,7 +2610,7 @@ setup_export() { PTXDIST_PLATFORMCONFIGDIR \ \ PTXDIST_PARALLELMFLAGS_INTERN \ - PTXDIST_LOADMFLAGS_INTERN \ + PTXDIST_LOADMFLAGS \ \ PTXDIST_CCACHE \ PTXDIST_FORCE_DOWNLOAD \ |