diff options
| -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 |