diff options
Diffstat (limited to 'bin/ptxdist')
-rwxr-xr-x | bin/ptxdist | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 0ec9ad53d..782b40c8b 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1014,6 +1014,8 @@ Options: --nice=<n>, -n<n> run with reduced scheduling priority (i.e. nice) (default = 10) + --dirty avoid rebuilding packages to speed up development + --keep-going, -k keep going. Continue as much as possible after an error. @@ -1231,6 +1233,9 @@ parse_first() -v|--verbose) PTXDIST_VERBOSE=1 ;; + --dirty) + PTXDIST_DIRTY=true + ;; -k|--keep-going) PTX_MAKE_ARGS[${#PTX_MAKE_ARGS[@]}]="-k" ;; @@ -2705,6 +2710,7 @@ setup_export() { PTXDIST_ICECC \ PTXDIST_LOG_PROMPT \ PTXDIST_OUTPUT_SYNC \ + PTXDIST_DIRTY \ PTXDIST_FORCE \ PTXDIST_PEDANTIC \ PTXDIST_QUIET \ |