From b6882a6053030dafbd63a659d50d5d968317016b Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Mon, 6 Jul 2015 01:23:14 +0200 Subject: reproducible coreboot/openwrt/netbsd: improve html titles --- bin/reproducible_common.sh | 2 +- bin/reproducible_coreboot.sh | 2 +- bin/reproducible_netbsd.sh | 4 ++-- bin/reproducible_openwrt.sh | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 61b3cd27..c2fe6c8f 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -232,7 +232,7 @@ write_page_intro() { local PROJECTNAME="netbsd" local PROJECTURL="https://github.com/jsonn/src" fi - write_page "

There is a monthly run jenkins job to test the master branch of $PROJECTNAME.git. Currently this job is triggered more often though, because this is still under development and brand new. The jenkins job is simply running reproducible_$PROJECTNAME.sh in a Debian environment and this script is solely responsible for creating this page. Feel invited to join #debian-reproducible (on irc.oftc.net) to request job runs whenever sensible. Patches and other feedback are very much appreciated!

" + write_page "

There is a monthly run jenkins job to test the master branch of $PROJECTNAME.git. Currently this job is triggered more often though, because this is still under development and brand new. The jenkins job is simply running reproducible_$PROJECTNAME.sh in a Debian environment and this script is solely responsible for creating this page. Feel invited to join #debian-reproducible (on irc.oftc.net) to request job runs whenever sensible. Patches and other feedback are also very much appreciated!

" } write_page_footer() { diff --git a/bin/reproducible_coreboot.sh b/bin/reproducible_coreboot.sh index afde521b..6a3b4de4 100755 --- a/bin/reproducible_coreboot.sh +++ b/bin/reproducible_coreboot.sh @@ -246,7 +246,7 @@ cat > $PAGE <<- EOF - coreboot + Reproducible coreboot diff --git a/bin/reproducible_netbsd.sh b/bin/reproducible_netbsd.sh index 4e1c6505..91adf1df 100755 --- a/bin/reproducible_netbsd.sh +++ b/bin/reproducible_netbsd.sh @@ -157,14 +157,14 @@ cat > $PAGE <<- EOF - NetBSD + Reproducible NetBSD ?
EOF -write_page "

Reproducible NetBSD

" +write_page "

Reproducible NetBSD ?

" write_page_intro NetBSD write_page "

$GOOD_FILES ($GOOD_PERCENT%) out of $ALL_FILES built netbsd files were reproducible in our test setup" if [ "$GOOD_PERCENT" = "100.0" ] ; then diff --git a/bin/reproducible_openwrt.sh b/bin/reproducible_openwrt.sh index 85813792..16d94b10 100755 --- a/bin/reproducible_openwrt.sh +++ b/bin/reproducible_openwrt.sh @@ -278,7 +278,7 @@ cat > $PAGE <<- EOF - openwrt + Repoducible OpenWrt ? -- cgit v1.2.3-70-g09d2