diff options
author | Erich Eckner <git@eckner.net> | 2018-01-11 10:01:47 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-01-11 10:01:47 +0100 |
commit | 8ec4ef868a0ff4cdf274d4f41bab145fa90a0db7 (patch) | |
tree | 46a6b1c5f3e54fd2ab98e147224e6d3b6c91ee74 | |
parent | ee70d5b77671854bb91c614b09936455df80ddb5 (diff) | |
download | builder-8ec4ef868a0ff4cdf274d4f41bab145fa90a0db7.tar.xz |
bin/build-packages: additional straw to skip check() (not tried by default)
-rwxr-xr-x | bin/build-packages | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/bin/build-packages b/bin/build-packages index ae75b7b..0648db3 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -313,6 +313,7 @@ while [ "${count}" -ne 0 ]; do else build_command='staging-i686-build' fi + if echo "${straw}" | \ grep -qF ':clean_chroot:'; then parameters='-c' @@ -320,6 +321,11 @@ while [ "${count}" -ne 0 ]; do parameters='' fi + if echo "${straw}" | \ + grep -qF ':without_check:'; then + parameters="${parameters} -- -- --nocheck" + fi + find . -maxdepth 1 -type f \( -name '*.pkg.tar.xz' -o -name '*.pkg.tar.xz.sig' \) -exec \ rm {} \; @@ -332,7 +338,7 @@ while [ "${count}" -ne 0 ]; do "${straw}" # by piping the log, we don't see anything in the terminal, # but all ways to duplicate the logs seem pretty elaborate - # shellcheck disable=SC2024 + # shellcheck disable=SC2024,SC2086 if sudo "${build_command}" ${parameters} > \ "$( date -u --iso-8601=seconds | \ |