diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-07-06 13:26:15 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-07-06 13:26:15 +0200 |
| commit | e947c26864e238433db0ac73c119cfc0710b2241 (patch) | |
| tree | 693af04040ca7ad9e648f96dfbb6e41e63e66733 | |
| parent | 32de5de2b54a709d125166b372ed686cecd7a97d (diff) | |
| download | jenkins.debian.net-e947c26864e238433db0ac73c119cfc0710b2241.tar.xz | |
reproducible: debbindiff is also maintained in the master branch
| -rwxr-xr-x | bin/reproducible_html_repository_comparison.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/reproducible_html_repository_comparison.sh b/bin/reproducible_html_repository_comparison.sh index fe2ab234..7b23e42c 100755 --- a/bin/reproducible_html_repository_comparison.sh +++ b/bin/reproducible_html_repository_comparison.sh @@ -118,7 +118,7 @@ for PKG in $SOURCES ; do write_page "<tr><td><pre>src:$PKG</pre></td>" write_page " <td>" case $PKG in - strip-nondeterminism) + strip-nondeterminism|debbindiff) URL="http://anonscm.debian.org/cgit/reproducible/$PKG.git" ;; *) URL="http://anonscm.debian.org/cgit/reproducible/$PKG.git/?h=pu/reproducible_builds" ;; @@ -148,7 +148,7 @@ for PKG in $SOURCES ; do fi else write_page "<a href=\"$URL\">$PKG.git</a>" - if [ "$PKG" != "strip-nondeterminism" ] ; then + if [ "$PKG" != "strip-nondeterminism" ] && [ "$PKG" != "debbindiff" ] ; then if $OBSOLETE_IN_TESTING && $OBSOLETE_IN_SID && $OBSOLETE_IN_EXP ; then write_page "<br />(unused?" write_page "<br /><span class=\"purple\">Then the branch should probably renamed.</span>" @@ -158,7 +158,7 @@ for PKG in $SOURCES ; do elif $OBSOLETE_IN_EXP ; then write_page "<br />(only used in testing and unstable, fixed in experimental)" fi - elif [ "$PKG" = "strip-nondeterminism" ] && $OBSOLETE_IN_SID ; then + elif ( [ "$PKG" = "strip-nondeterminism" ] || [ "$PKG" = "debbindiff" ] ) && $OBSOLETE_IN_SID ; then write_page "<br />(this repo is always used)" fi fi |