diff --git a/scripts/runner.pl b/scripts/runner.pl index cd33ce1..d0fbd50 100644 --- a/scripts/runner.pl +++ b/scripts/runner.pl @@ -263,7 +263,7 @@ sub results { } } -system("rm $remote_root/runner.log"); +# system("rm $remote_root/runner.log"); system("rm $remote_root/server.log"); system("rm $remote_root/client.log"); @@ -278,8 +278,8 @@ for my $experiment (@experiments) { inject($experiment); results($experiment); - system( - "mv $remote_root/runner.log $remote_builds_dir/$experiment/runner.log"); + # system( + # "mv $remote_root/runner.log $remote_builds_dir/$experiment/runner.log"); system( "mv $remote_root/server.log $remote_builds_dir/$experiment/server.log"); system(