| #! /bin/sh | |
| ./filter_stderr | | |
| sed "s/<tid>[0-9]*<\/tid>/<tid>...<\/tid>/" | | |
| sed "s/<pid>[0-9]*<\/pid>/<pid>...<\/pid>/" | | |
| sed "s/<ppid>[0-9]*<\/ppid>/<ppid>...<\/ppid>/" | | |
| sed "s/<obj>.*<\/obj>/<obj>...<\/obj>/" | | |
| sed "s/<line>.*<\/line>/<line>...<\/line>/" | | |
| sed "s/<dir>.*<\/dir>/<dir>...<\/dir>/" |