From: Ian Lynagh <igloo@earth.li>
Date: Mon, 4 Apr 2011 15:44:53 +0000 (+0100)
Subject: Turn on autoflush in sync-all
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=2fe9913d68e5f9031a41aafb08b3eba0b2f7b6ab;p=ghc-hetmet.git

Turn on autoflush in sync-all

darcs-all did it, so sync-all probably should too.
---

diff --git a/sync-all b/sync-all
index 37f2d81..743d3e6 100755
--- a/sync-all
+++ b/sync-all
@@ -59,6 +59,8 @@ use Cwd;
 # root one.  So the remote repos must be laid out in one of the two
 # formats given by <local-path> and <remote-path> in the file 'packages'.
 
+$| = 1; # autoflush stdout after each print, to avoid output after die
+
 my $defaultrepo;
 my @packages;
 my $verbose = 2;