diff options
Diffstat (limited to 'stap-client')
-rwxr-xr-x | stap-client | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/stap-client b/stap-client index fc3d9908..f8be3838 100755 --- a/stap-client +++ b/stap-client @@ -544,6 +544,11 @@ function unpack_response { # Remove the output line due to the synthetic server-side -k sed -i "/^Keeping temporary directory.*/ d" $tmpdir_server/stderr fi + + if test $p_phase = 5; then + # Remove the output line due to the synthetic server-side -p4 + sed -i "/^.*\.ko$/ d" $tmpdir_server/stdout + fi } # function: find_and_connect_to_server |