--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/elf4rom/libs/dwarf-20071209/libdwarf/bldDWindex.sh Fri Jan 15 09:07:44 2010 +0000
@@ -0,0 +1,24 @@
+sed -n -e '/^%%Page.*/p' -e '/.*DW_.*/p' <dwarf.v2.ps |
+sed -n -e '/^%%Page.*/p' -e 's/.*\(DW_[a-z_A-Z]*\).*/\1/p' |
+nawk ' /^%%Page/{ p = $2 } \
+ /DW_/ { printf "%-30s %04d \n",$1,p \
+ }' | sort -u |
+nawk ' BEGIN {h = "xx"} \
+ { \
+ done = 0 ; \
+ if ( $1 != h ) { \
+ if(h != "xx") { \
+ printf "%-30s %s\n",h, pgs ; \
+ h = $1 ; \
+ tv = $2 + 0 ; \
+ done = 1 ; \
+ pgs = "" tv \
+ } \
+ } \
+ h = $1 ; \
+ if(done == 0 ) { \
+ tv = $2 + 0 ; \
+ pgs = pgs ", " tv \
+ } \
+ } \
+ END { printf "%-30s %s\n",h,pgs } '