diff options
| author | Erich Eckner <git@eckner.net> | 2021-02-24 10:20:20 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2021-02-24 10:20:20 +0100 |
| commit | 8c12e9daf3979ba25e01b968214009612d28808a (patch) | |
| tree | 660396e3e196024e6cf14733650c478671535195 | |
| parent | 677f3c35f602804ad2df0cb3c420c3a08e49f0c9 (diff) | |
| download | builder-8c12e9daf3979ba25e01b968214009612d28808a.tar.xz | |
bin/build-packages: relax search for log files
| -rwxr-xr-x | bin/build-packages | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/bin/build-packages b/bin/build-packages index 75cdbba..80ba1ce 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -655,11 +655,10 @@ while [ "${count}" -ne 0 ] && \ d ' "${log_file}" | \ while read -r extra_log_file; do - grep -HF '' "${build_dir}/${extra_log_file}" || true - if [ -n "${extra_log_file##*/*}" ]; then + if ! grep -HF '' "${build_dir}/${extra_log_file}"; then find "${build_dir}" \ - -xdev -mindepth 2 \ - -type f -name "${extra_log_file}" \ + -xdev \ + -type f -name "${extra_log_file##*/}" \ -exec grep -HF '' {} + \ || true fi |