On Wed, 8 Apr 2009, Joseph S. Myers wrote: >> 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. > I think this is OK. -x was probably more useful before the script used > set -e to exit on errors.
Thanks for having a look, Joseph! I applied my change and also updated the instance of this script on gcc.gnu.org. Let's see wether the next run in some 22 hours will again be able to push through a message to the gccadmin list. If not, let me know and I'll have another look what we may be able to cut. Gerald
