diff --git a/lib/test-driver/test-driver.pl b/lib/test-driver/test-driver.pl index 10efcbb690c..65d051eb170 100644 --- a/lib/test-driver/test-driver.pl +++ b/lib/test-driver/test-driver.pl @@ -3,6 +3,8 @@ use Machine; $SIG{PIPE} = 'IGNORE'; # because Unix domain sockets may die unexpectedly +STDERR->autoflush(1); + my %vms; my $context = "";