On Tue, 24 Feb 2009, Joseph S. Myers wrote:
> build.html was missing group write permission:
> 
> -rw-r--r--   1 gerald   gcc 18920 Mar 30  2008 build.html
> 
> This probably meant that the nightly onlinedocs update would fail to 
> update it.  I've now moved and copied the file so it now has group write 
> access.  So hopefully the next build will update it.

Thanks for addressing this, Joseph!  To make up for this...

> Unfortunately the cron mails to gccadmin from that nightly update ceased 
> regularly arriving in January 2008 (a few isolated ones have got through 
> to the list since then), so any symptoms of this file not being updated 
> that might appear in the output of that cron job will have been missed.  
> I don't know if this is a message size limit, a spam check issue or 
> something else (but reported it on the overseers list at the time).

...I investigated the issue a bit and found the following:

The output of the update_web_docs_svn script is 1590406 byte, which
pretty much explains why the messages have not made it to the list,
I assume.

One further observation I made is that this script is invoked via sh -x, 
and 22029 of 31959 lines and 1046189 of 1590406 byte overall are due to 
that.  In other words, we owe two thirds of the output to sh -x.

(This has been like this since the first version of this instances of
the script, revision 105483 by dberlin on 2005-10-17.)

I propose to address this by the patch below, but will wait a couple of
days (not the least until you are back) before making this change.

Gerald

2009-04-04  Gerald Pfeifer  <ger...@pfeifer.com>

        * update_web_docs_svn: Run this script under plain /bin/sh
        as opposed to /bin/sh -x.

Index: update_web_docs_svn
===================================================================
--- update_web_docs_svn (revision 145518)
+++ update_web_docs_svn (working copy)
@@ -1,4 +1,4 @@
-#!/bin/sh -x
+#!/bin/sh
 
 # Generate HTML documentation from GCC Texinfo docs.
 # This version is for GCC 3.1 and later versions.

Reply via email to