diff options
| author | Gerald Pfeifer <gerald@pfeifer.com> | 2015-04-07 11:46:23 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2015-04-07 11:46:23 +0000 |
| commit | 23ebaa42a22c616412345a069edb48a6dc25282d (patch) | |
| tree | 5b5182f9f481963184d4d99c1f86ca57b2b36875 /maintainer-scripts | |
| parent | b7c43e2429b80573b3cb028a4569e2d82228a439 (diff) | |
update_web_docs_libstdcxx_svn (FILTER): Introduce.
* update_web_docs_libstdcxx_svn (FILTER): Introduce.
Use to filter output of the copying process.
From-SVN: r221893
Diffstat (limited to 'maintainer-scripts')
| -rw-r--r-- | maintainer-scripts/ChangeLog | 5 | ||||
| -rwxr-xr-x | maintainer-scripts/update_web_docs_libstdcxx_svn | 4 |
2 files changed, 7 insertions, 2 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 32b94765b1c..56fe7bae9bb 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,8 @@ +2015-04-07 Gerald Pfeifer <gerald@pfeifer.com> + + * update_web_docs_libstdcxx_svn (FILTER): Introduce. + Use to filter output of the copying process. + 2015-02-25 Arnaud Charlet <charlet@adacore.com> * update_web_docs_svn: Preserve gcc/ada/*.png. Update comments. 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 |