xv6

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit 6186836d28944dbe3451bc154c0268ac2c90a313
parent 2ce40d7088932b2875739379f54f7d74fc2e374c
Author: kolya <kolya>
Date:   Sun, 12 Oct 2008 18:33:14 +0000

fix: when two names only differed in case, crossrefs only included one of them.
thanks to greg price.

Diffstat:
Mrunoff | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/runoff b/runoff @@ -157,7 +157,7 @@ perl -n -e 'print if s/^([0-9]+ [a-zA-Z0-9_]+)\(.*$/\1/;' alltext | >s.defs # make reference list -for i in `awk '{print $2}' defs | sort -fu` +for i in `awk '{print $2}' defs | sort -f | uniq` do defs=`egrep '^[0-9]+ '$i'( |$)' defs | awk '{print $1}'` echo $i $defs >>s.defs