diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-11-27 00:13:53 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-11-27 00:13:53 +0100 |
| commit | 9151984d9ac8135bc0a5e2f57f1654520443ba1b (patch) | |
| tree | 9d861c4746a9d3161d0d43bb067924cdde783caa /bin/reproducible_common.sh | |
| parent | f991706691012fc14f4df6389c2f4e29762598c5 (diff) | |
| parent | 94c77244b8064d6f29146f7f9e36389b5216076f (diff) | |
| download | jenkins.debian.net-9151984d9ac8135bc0a5e2f57f1654520443ba1b.tar.xz | |
Merge branch 'master' of git://git.debian.org/git/qa/jenkins.debian.net
Diffstat (limited to 'bin/reproducible_common.sh')
| -rwxr-xr-x | bin/reproducible_common.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 6f1324d2..37fc6943 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -10,16 +10,16 @@ PACKAGES_DB=/var/lib/jenkins/reproducible.db INIT=/var/lib/jenkins/reproducible.init if [ -f $PACKAGES_DB ] && [ -f $INIT ] ; then - if [ -f $PACKAGES_DB.lock ] ; then + if [ -f ${PACKAGES_DB}.lock ] ; then for i in $(seq 0 100) ; do sleep 15 echo "sleeping 15s, $PACKAGES_DB is locked." - if [ ! -f $PACKAGES_DB.lock ] ; then + if [ ! -f ${PACKAGES_DB}.lock ] ; then break fi done - if [ -f $PACKAGES_DB.lock ] ; then - echo "$PACKAGES_DB.lock still exist, exiting." + if [ -f ${PACKAGES_DB}.lock ] ; then + echo "${PACKAGES_DB}.lock still exist, exiting." exit 1 fi fi @@ -95,7 +95,7 @@ elif [ ! -f ${PACKAGES_DB} ] ; then done_randomness INTEGER, PRIMARY KEY (datum))' # 60 seconds timeout when trying to get a lock - cat >/var/lib/jenkins/reproducible.init <<-EOF + cat > $INIT <<-EOF .timeout 60000 EOF fi @@ -229,7 +229,7 @@ write_page_footer() { } write_page_meta_sign() { - write_page "<p style=\"font-size:0.9em;\">An underlined package is an indication that this package has a note. Visited packages are linked in green, those which have not been visited are linked in blue." + write_page "<p style=\"font-size:0.9em;\">A package name displayed with a bold font is an indication that this package has a note. Visited packages are linked in green, those which have not been visited are linked in blue." if $BUILDINFO_ON_PAGE ; then write_page "A β sign after a package which is unreproducible indicates that a .buildinfo file was generated." write_page "And that means the <a href=\"https://wiki.debian.org/ReproducibleBuilds#The_basics_for_making_packages_build_reproducible\">basics for building packages reproducibly are covered</a>." |