Sign in
nest-open-source
/
nest-cam
/
4320010
/
valgrind
/
refs/heads/master
/
.
/
valgrind
/
gdbserver_tests
/
filter_passsigalrm
blob: 6b86f381f7f3ff45d9fe169324ffd01d9f47a41b [
file
] [
log
] [
blame
]
#! /bin/sh
dir
=
`dirname $0`
$dir
/
filter_gdb
|
# Filter the number of real-time signal SIGRTMIN which
# varies accross systems.
sed
's/Program received signal SIG[0-9]*, Real-time event [0-9]*./Program received signal SIGxx, Real-time event xx./'