1 #! /bin/sh 2 3 # vg_replace_strmem.c [r]index and [_platform_]str[r]chr are the same. 4 ./filter_stderr "$@" | 5 sed -e "s/: strchr (vg_replace_strmem.c:/: index (vg_replace_strmem.c:/; 6 s/: _platform_strchr (vg_replace_strmem.c:/: index (vg_replace_strmem.c:/; 7 s/: _platform_strchr\$VARIANT\$Generic (vg_replace_strmem.c:/: index (vg_replace_strmem.c:/; 8 s/: _platform_strchr\$VARIANT\$Haswell (vg_replace_strmem.c:/: index (vg_replace_strmem.c:/; 9 s/: strrchr (vg_replace_strmem.c:/: rindex (vg_replace_strmem.c:/" 10