1 2 #! /bin/sh 3 4 dir=`dirname $0` 5 6 $dir/filter_stderr | 7 8 # Anonymise "obj:" path 9 sed "s/obj:.*\/annelid\/tests\/supp/obj:*\/annelid\/tests\/supp/" 10 11 12