diff --git a/[refs] b/[refs] index 6f956b28f8b7..946237b1d6d6 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: a15ba91361d46b4cc71d76d5712fb6420b517d8a +refs/heads/master: a496872212e50a7e543a027faf35b0909459ec9e diff --git a/trunk/tools/testing/ktest/ktest.pl b/trunk/tools/testing/ktest/ktest.pl index 63245a56aca3..f4b8f96a9430 100755 --- a/trunk/tools/testing/ktest/ktest.pl +++ b/trunk/tools/testing/ktest/ktest.pl @@ -1147,6 +1147,9 @@ sub doprint { sub reboot { my ($time) = @_; + # Make sure everything has been written to disk + run_ssh("sync"); + if (defined($time)) { start_monitor; # flush out current monitor