Cross Reference: filter_shell_output
xref
: /
external
/
valgrind
/
main
/
none
/
tests
/
filter_shell_output
Home
History
Annotate
Line#
Navigate
Download
only in
filter_shell_output
filter_shell_output revision 8f943afc22a6a683b78271836c8ddc462b4824a9
1
#!/
bin
/
sh
2
3
"
$(
dirname
$
0
)
"
/
filter_linenos
|
sed
'
s
/
Is
a
directory
/
is
a directory/'
4