diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-10-10 02:01:53 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-10-10 02:01:53 +0200 |
| commit | 71a34d5dd32a6d53a631357cc5368b7b269daa64 (patch) | |
| tree | e13d6c5235a4eccd74b466f7b65115f382bf757d /bin/reproducible_build.sh | |
| parent | 2eab3acf1b3efe7a043f385135726c30bc6c6b87 (diff) | |
| download | jenkins.debian.net-71a34d5dd32a6d53a631357cc5368b7b269daa64.tar.xz | |
reproducible: mv /var/lib/jenkins/stale_builds.txt /var/log/jenkins/stale_builds.log
Diffstat (limited to 'bin/reproducible_build.sh')
| -rwxr-xr-x | bin/reproducible_build.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 73048284..a8d33be8 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -407,11 +407,11 @@ choose_package() { BAD_BUILDS=$(mktemp --tmpdir=$TMPDIR) sqlite3 -init $INIT ${PACKAGES_DB} "SELECT package_id, date_build_started, builder FROM schedule WHERE builder LIKE '${BUILDER_PREFIX}%'" > $BAD_BUILDS if [ -s "$BAD_BUILDS" ] ; then - # stale_builds.txt is mailed once a day by reproducible_maintenance.sh - echo "$(date -u) - stale builds found, cleaning db from these:" | tee -a /var/lib/jenkins/stale_builds.txt - cat $BAD_BUILDS | tee -a /var/lib/jenkins/stale_builds.txt + # stale_builds.log is mailed once a day by reproducible_maintenance.sh + echo "$(date -u) - stale builds found, cleaning db from these:" | tee -a /var/log/jenkins/stale_builds.log + cat $BAD_BUILDS | tee -a /var/log/jenkins/stale_builds.log sqlite3 -init $INIT ${PACKAGES_DB} "UPDATE schedule SET date_build_started='', builder='' WHERE builder LIKE '${BUILDER_PREFIX}%'" - echo >> /var/lib/jenkins/stale_builds.txt + echo >> /var/log/jenkins/stale_builds.log fi rm -f $BAD_BUILDS # mark build attempt, first test if none else marked a build attempt recently |