1 #! /bin/sh 2 3 # Remove '#line ...' lines to not confuse mkdep(1). 4 find . -name '*.[ch]pp' -print | 5 xargs grep -l '^#line' | 6 while read f; do 7 mv $f $f.orig 8 sed '/^#line/d' <$f.orig >$f 9 rm $f.orig 10 done 11 12 exit 0 13
Indexes created Fri Jul 03 00:25:33 UTC 2026