diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_html_repository_comparison.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/bin/reproducible_html_repository_comparison.sh b/bin/reproducible_html_repository_comparison.sh index 5e9ca7f3..3bb7489c 100755 --- a/bin/reproducible_html_repository_comparison.sh +++ b/bin/reproducible_html_repository_comparison.sh @@ -109,7 +109,12 @@ for PKG in $SOURCES ; do # write_page "<tr><td><pre>src:$PKG</pre></td>" write_page " <td>" - URL="http://anonscm.debian.org/cgit/reproducible/$PKG.git/?h=pu/reproducible_builds" + case $PKG in + strip-nondeterminism) + URL="http://anonscm.debian.org/cgit/reproducible/$PKG.git" ;; + *) + URL="http://anonscm.debian.org/cgit/reproducible/$PKG.git/?h=pu/reproducible_builds" ;; + esac curl $URL > $TMP2FILE if [ "$(grep "'error'>No repositories found" $TMP2FILE 2>/dev/null)" ] ; then write_page "$URL<br /><span class=\"red\">(no git repository found)</span>" |