diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-28 23:11:27 +0200 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-28 23:11:27 +0200 |
| commit | a26d0bede7fb1c9f09df262a8342a4db3744aef9 (patch) | |
| tree | 26e7417ea63323b40895ae09af3cc7e8f2893e6a | |
| parent | ddff4a29a4bf55cd1e67df489ee9c838c82360cb (diff) | |
| download | jenkins.debian.net-a26d0bede7fb1c9f09df262a8342a4db3744aef9.tar.xz | |
reproducible: common.sh: remove set_package_class(), now unused
| -rwxr-xr-x | bin/reproducible_common.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 40608f39..4ab5c676 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -250,14 +250,6 @@ publish_page() { echo "Enjoy $REPRODUCIBLE_URL/$TARGET" } -set_package_class() { - if [ -f ${NOTES_PATH}/${PKG}_note.html ] ; then - CLASS="class=\"noted\"" - else - CLASS="class=\"package\"" - fi -} - link_packages() { for (( i=1; i<$#+1; i=i+400 )) ; do local string='[' |