[game-data-packager] 01/01: check_equivalence: force flush (for slow platform/buildd)

[Alexandre Detiste]

This is an automated email from the git hooks/post-receive script.

detiste-guest pushed a commit to branch master
in repository game-data-packager.

commit fb3d360e5089c9d903a0d205975e06a1170efc8e
Author: Alexandre Detiste <alexandre.detiste at gmail.com>
Date:   Sun Nov 6 12:11:09 2016 +0100

    check_equivalence: force flush (for slow platform/buildd)
---
 tools/check_equivalence.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/check_equivalence.py b/tools/check_equivalence.py
index d698741..d45e57e 100755
--- a/tools/check_equivalence.py
+++ b/tools/check_equivalence.py
@@ -43,19 +43,19 @@ if __name__ == '__main__':
         # make check
         from_ref = load_games(games, use_vfs='ref.zip')
         dt = time.process_time() - t
-        print('# loaded game data from ref.zip in %.3f seconds' % dt)
+        print('# loaded game data from ref.zip in %.3f seconds' % dt, flush=True)
     else:
         from_ref = None
 
     t = time.process_time()
     from_vfs = load_games(games, use_vfs=True)
     dt = time.process_time() - t
-    print('# loaded game data from vfs.zip in %.3f seconds' % dt)
+    print('# loaded game data from vfs.zip in %.3f seconds' % dt, flush=True)
 
     t = time.process_time()
     from_json = load_games(games, use_vfs=False)
     dt = time.process_time() - t
-    print('# loaded game data from JSON in %.3f seconds' % dt)
+    print('# loaded game data from JSON in %.3f seconds' % dt, flush=True)
 
     t = time.process_time()
     from_yaml = load_games(games, use_vfs=False, use_yaml=True)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-games/game-data-packager.git