diff options
-rw-r--r-- | tools/tools/tinderbox/tbmaster.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/tools/tinderbox/tbmaster.pl b/tools/tools/tinderbox/tbmaster.pl index 542bcb2..351d40e 100644 --- a/tools/tools/tinderbox/tbmaster.pl +++ b/tools/tools/tinderbox/tbmaster.pl @@ -248,6 +248,7 @@ sub tinderbox($$$) { } push(@lines, $_); } + close(RPIPE); if ($error) { $summary .= join('', @lines); print(BRIEF join('', @lines)); |