diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2010-02-27 11:52:51 +0100 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2010-03-05 08:13:35 +0100 |
commit | 23e8209ae3717d4f54988075f766e72e050218fc (patch) | |
tree | 997d63cb0a9b3bd3136af64415640023880c318f /bin | |
parent | 9866caf61fe573f4f785e9d7ed55e118d809dcc4 (diff) | |
download | ptxdist-23e8209ae3717d4f54988075f766e72e050218fc.tar.gz ptxdist-23e8209ae3717d4f54988075f766e72e050218fc.tar.xz |
[ptxdist] add -p|--pedantic option
If this option is used ptxd_pedantic will act like ptxd_bailout.
Otherwise it will act like ptxd_warning
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/ptxdist | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index e49a96508..739479d23 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1239,6 +1239,9 @@ parse_first() -k) PTX_MAKE_ARGS[${#PTX_MAKE_ARGS[@]}]="-k" ;; + -p|--pedantic) + PTXDIST_PEDANTIC=true + ;; -f|--force) PTX_FORCE=true ;; @@ -2409,6 +2412,7 @@ setup_export() { PTXDIST_PARALLELMFLAGS_INTERN \ \ PTXDIST_QUIET \ + PTXDIST_PEDANTIC \ PTXDIST_FORCE_DOWNLOAD } |