Makefile.in (piclist): Fix sed command to also accept numbers in filenames.

2000-10-08  Philipp Thomas  <pthomas@suse.de>

	* Makefile.in (piclist): Fix sed command to also accept
	numbers in filenames.

From-SVN: r36785

libstdc++/ChangeLog

+2000-10-08  Philipp Thomas  <pthomas@suse.de>
+
+	* Makefile.in (piclist): Fix sed command to also accept
+	numbers in filenames.
+
 2000-10-07  Richard Henderson  <rth@cygnus.com>
 
 	* del_op.cc, del_opnt.cc, del_opv.cc, del_opvnt.cc: New files.

libstdc++/Makefile.in

@@ -89,7 +89,7 @@ piclist: stdlist
 	-rm -f tlist
 	cp stdlist tlist
 	if [ x"$(PICFLAG)" != x ]; then \
-	  sed 's,\([A-Za-z_]*\.o\),pic/\1,g' tlist > tlist2 ; \
+	  sed 's,\([A-Za-z_0-9]*\.o\),pic/\1,g' tlist > tlist2 ; \
 	  mv tlist2 tlist ; \
 	else true ; fi
 	mv tlist piclist