diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-06-15 09:21:22 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-06-15 09:21:22 +0200 |
commit | 96b5b10e4eb6e47cf5e291e2e1b54081a11f390b (patch) | |
tree | d607d48a0ff8c2fb5823067e05c3d9c697bad50e | |
parent | a877db99644a1bde740efce942cdaf090272ea3d (diff) | |
download | jenkins.debian.net-96b5b10e4eb6e47cf5e291e2e1b54081a11f390b.tar.xz |
fix typo
-rwxr-xr-x | bin/reproducible_common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 9d9359b5..d0aec343 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -218,7 +218,7 @@ write_page_header() { write_page_intro() { write_page " <p><em>Reproducible builds</em> enable anyone to reproduce bit by bit identical binary packages from a given source, so that anyone can verify that a given binary derived from the source it was said to be derived. There is a lot more information about <a href=\"https://wiki.debian.org/ReproducibleBuilds\">reproducible builds on the Debian wiki</a> and on <a href=\"https://reproducible.debian.net\">https://reproducible.debian.net</a>. The wiki explains in more depth why this is useful, what common issues exist and which workarounds and solutions are known.<br />" - if [ "$1" = "coreboot" ] ; + if [ "$1" = "coreboot" ] ; then write_page " <em>Reproducible Coreboot</em> is an effort to apply this to coreboot. Thus each coreboot.rom is build twice (without payloads), with a few varitations added and then those two ROMs are compared using <a href=\"https://tracker.debian.org/debbindiff\">debbindiff</a>. Please note that the toolchain is not varied at all as the rebuild happens on exactly the same system. More variations are expected to be seen in the wild.</p>" local PROJECTNAME="$1" local PROJECTURL="https://review.coreboot.org/p/coreboot.git" |