diff options
author | Erich Eckner <git@eckner.net> | 2020-04-11 10:30:51 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-04-11 10:30:59 +0200 |
commit | 5ea137bba6c0e8c5e5e702493ee777322932f7f8 (patch) | |
tree | f6e725f09c051f88c8b7090c8756815b8ca89065 | |
parent | 81785c62e2f4b4d188655cd3e530794284ac63cd (diff) | |
download | builder-5ea137bba6c0e8c5e5e702493ee777322932f7f8.tar.xz |
bin/build-packages: find more log files
-rwxr-xr-x | bin/build-packages | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/bin/build-packages b/bin/build-packages index df8faf1..9f0b70e 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -648,10 +648,19 @@ while [ "${count}" -ne 0 ] && \ t s/^See \(\S\+\)\s*$/\1/ t + s/^See ['"'"'`]\([^'"'"'`]\+\)['"'"'`]\(\s.*\)\?$/\1/ + t d ' "${log_file}" | \ while read -r extra_log_file; do grep -HF '' "${build_dir}/${extra_log_file}" || true + if [ -n "${extra_log_file##*/*}" ]; then + find "${build_dir}" \ + -xdev -mindepth 2 \ + -type f -name "${extra_log_file}" \ + -exec grep -HF '' {} + \ + || true + fi done | \ sponge -a "${log_file}" fi |