diff options
| author | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-04-07 11:46:23 +0000 |
|---|---|---|
| committer | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-04-07 11:46:23 +0000 |
| commit | 077ef128b4f75d51e47037aaf599b36cd03beccb (patch) | |
| tree | 5b5182f9f481963184d4d99c1f86ca57b2b36875 /maintainer-scripts/update_web_docs_libstdcxx_svn | |
| parent | 798bfc5d8ecd36ce0cc3ea98ab053537c7c7070f (diff) | |
| download | gcc-077ef128b4f75d51e47037aaf599b36cd03beccb.tar.gz | |
* update_web_docs_libstdcxx_svn (FILTER): Introduce.
Use to filter output of the copying process.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@221893 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts/update_web_docs_libstdcxx_svn')
| -rwxr-xr-x | maintainer-scripts/update_web_docs_libstdcxx_svn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/maintainer-scripts/update_web_docs_libstdcxx_svn b/maintainer-scripts/update_web_docs_libstdcxx_svn index 10d45f5c4eb..efceaf9a2c3 100755 --- a/maintainer-scripts/update_web_docs_libstdcxx_svn +++ b/maintainer-scripts/update_web_docs_libstdcxx_svn @@ -19,6 +19,7 @@ WWWDIR=/www/gcc/htdocs/onlinedocs/libstdc++ ## No more changes should be needed. Ha, right, whatever. ##################################################################### +FILTER="newer or same age version exists|0 blocks" PATH=/usr/local/bin:$PATH export SVNROOT @@ -38,8 +39,7 @@ cd doc rm -f Makefile # copy the tree to the onlinedocs area, preserve directory structure -#find . -depth -print | cpio -pdv $WWWDIR -find . -depth -print | cpio -pd $WWWDIR 2>&1 | grep -v "newer or same age version exists" +find . -depth -print | cpio -pd $WWWDIR 2>&1 | egrep -v "$FILTER" err=${PIPESTATUS[1]} if [ $err -gt 0 ]; then |