Skip to content

Commit c806eb0

Browse files
Make sure output buffes are flushed before writing exit code
We have to turn off buffering on bash-level, which can be conveniently done using the script command.
1 parent a22a882 commit c806eb0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

regression/test.pl

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ ($$$$$)
2626
my $cmdline = "$cmd $options '$input' >'$output' 2>&1";
2727

2828
print LOG "Running $cmdline\n";
29-
system("bash", "-c", "cd '$name' ; $cmdline");
29+
system("bash", "-c", "cd '$name' ; script -q /dev/null $cmdline");
3030
my $exit_value = $? >> 8;
3131
my $signal_num = $? & 127;
3232
my $dumped_core = $? & 128;

0 commit comments

Comments
 (0)