diff --git a/std-script/run b/std-script/run --- a/std-script/run +++ b/std-script/run @@ -69,7 +69,7 @@ result_file.write "\n" result_file.close `rm run_result` - `rm output.txt` + # `rm output.txt` --- keep the output comment_file.write comment comment_file.write "--run-result--\n"