index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2019-06-20 11:23:55 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-06-20 11:23:55 +0200 |
commit | b42bac3d8d5683c2d0e133437f19a7f9cb670b42 (patch) | |
tree | 57f4e90258e94d7cac9c8d085e40a7c45b42b300 /bin/build-packages | |
parent | 42e593f6dc3cad3a8ed0fd32f151132bfc515c73 (diff) |
-rwxr-xr-x | bin/build-packages | 13 |
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" |