diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build-packages | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/bin/build-packages b/bin/build-packages index 5858a78..92a9df2 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -488,6 +488,12 @@ while [ "${count}" -ne 0 ] && \ verifysource_trial=0 while [ ${verifysource_trial} -lt 5 ]; do verifysource_trial=$((verifysource_trial + 1)) + mv \ + "${tmp_dir}/verifysource.log" \ + "$( + date -u --iso-8601=seconds | \ + cut -d+ -f1 + ).build-log" || true if CARCH="${arch}" makepkg --verifysource 2> "${tmp_dir}/verifysource.log"; then success=true break @@ -585,7 +591,12 @@ while [ "${count}" -ne 0 ] && \ verifysource_trial=$((verifysource_trial + 1)) fi done - rm "${tmp_dir}/verifysource.log" + mv \ + "${tmp_dir}/verifysource.log" \ + "$( + date -u --iso-8601=seconds | \ + cut -d+ -f1 + ).build-log" || true if ${success}; then echo 'building' > "${tmp_dir}/.ping-build-master" |