innodb.update_time failed in buildbot with wrong result

innodb.update_time 'innodb'              w2 [ fail ]

        Test ended at 2017-12-16 10:01:56

CURRENT_TEST: innodb.update_time

--- /opt/buildbot-slave/mariadb/starfsmenn2/build/mysql-test/suite/innodb/r/update_time.result	2017-12-14 18:23:31.087061690 -0500

+++ /opt/buildbot-slave/mariadb/starfsmenn2/build/mysql-test/suite/innodb/r/update_time.reject	2017-12-16 10:01:56.799233773 -0500

@@ -29,7 +29,7 @@

 SELECT COUNT(*) FROM information_schema.innodb_buffer_page

 WHERE table_name = '`test`.`t`';

 COUNT(*)

-0

+1

 SELECT COUNT(*) FROM information_schema.tables WHERE table_name = 't'

 AND update_time IS NOT NULL;

 COUNT(*)

mysqltest: Result content mismatch