diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2018-10-16 22:44:59 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2018-10-17 15:55:55 +0200 |
commit | 9b42dfe3d4f3c77f0e649cb6fe1310584a2370b9 (patch) | |
tree | cb6711aab198506a6a2baaa384f27b0d7304edc0 /bin/ptxdist | |
parent | 812fa58ec74202c2378e8c645d0714f7574edd71 (diff) | |
download | ptxdist-9b42dfe3d4f3c77f0e649cb6fe1310584a2370b9.tar.gz ptxdist-9b42dfe3d4f3c77f0e649cb6fe1310584a2370b9.tar.xz |
ptxdist: add --dirty option
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
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 \ |