1 #! /bin/sh 2 3 # Sometimes valgrind on amd64 prints smt_pause() instead of ??? 4 # for the top-most stack frame. Filter it here. 5 6 ./filter_stderr | \ 7 sed -e 's/smt_pause/???/' 8