This has been in place for two years (according to the date
stamps on gcc.gnu.org), alas I must have missed to commit it
after due testing on the production system.
Committed now.
Gerald
2015-04-07 Gerald Pfeifer <ger...@pfeifer.com>
* update_web_docs_libstdcxx_svn (FILTER): Introduce.
Use to filter output of the copying process.
Index: update_web_docs_libstdcxx_svn
===================================================================
--- update_web_docs_libstdcxx_svn (revision 221832)
+++ update_web_docs_libstdcxx_svn (working copy)
@@ -19,6 +19,7 @@
## 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 @@
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
