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)
commitf9cbcbbcb2a7cd9b17c2429329eed0e4866b1e89
tree759020b729b972a5a992cb887a3d466dd4e2b8fa
parent5461117b2955422eef53c9baf9fd2d3d79a6c83f
* update_web_docs_svn: Run this script under plain /bin/sh
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