OSDN Git Service

* update_web_docs_svn: Run this script under plain /bin/sh
authorgerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 8 Apr 2009 02:00:48 +0000 (02:00 +0000)
committergerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 8 Apr 2009 02:00:48 +0000 (02:00 +0000)
as opposed to /bin/sh -x.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145707 138bc75d-0d04-0410-961f-82ee72b054a4

maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs_svn

index e06f983..228ad36 100644 (file)
@@ -1,3 +1,8 @@
+2009-04-08  Gerald Pfeifer  <gerald@pfeifer.com>
+
+       * update_web_docs_svn: Run this script under plain /bin/sh
+       as opposed to /bin/sh -x.
+
 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
 
        * update_version_svn (IGNORE_BRANCHES): Add 4.2 branch.
 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
 
        * update_version_svn (IGNORE_BRANCHES): Add 4.2 branch.
index 74098b4..b00e97a 100755 (executable)
@@ -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.
 
 # Generate HTML documentation from GCC Texinfo docs.
 # This version is for GCC 3.1 and later versions.