Index: build/landmines.py |
diff --git a/build/landmines.py b/build/landmines.py |
index e9da6ba83c5f337316c0157b455dd106501e9829..031c309c33a96132ab43198f15e31b8c6443eb10 100755 |
--- a/build/landmines.py |
+++ b/build/landmines.py |
@@ -73,6 +73,7 @@ def clobber_if_necessary(new_landmines, src_dir): |
fromfiledate=old_date, tofiledate=time.ctime(), n=0) |
sys.stdout.write('Clobbering due to:\n') |
sys.stdout.writelines(diff) |
+ sys.stdout.flush() |
clobber.clobber(out_dir) |