summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_common.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh
index 3af3ec7c..059cea0f 100755
--- a/bin/reproducible_common.sh
+++ b/bin/reproducible_common.sh
@@ -223,6 +223,7 @@ write_page_header() {
rm -f $PAGE
BUILDINFO_ON_PAGE=false
write_page "<!DOCTYPE html><html><head>"
+ write_page "<meta name="globalsign-domain-verification" content="Ri3secINNIbMrZ7EE0iXDs3Fe05MUAO56jZC5lde43" />" # FIXME: remove this oncewe got the cert...
write_page "<meta http-equiv=\"Content-Type\" content=\"text/html; charset=UTF-8\" />"
write_page "<link href=\"/userContent/static/style.css\" type=\"text/css\" rel=\"stylesheet\" />"
write_page "<title>$2</title></head>"