Commit 51141ff3cc3c7421f002db7fd8474ae2e3504603

Thomas de Grivel 2023-11-05T22:45:39

flush after each line

1
2
3
4
5
6
7
8
9
10
11
12
diff --git a/lib/rbpkg.rb b/lib/rbpkg.rb
index b935d2d..ccf1e74 100644
--- a/lib/rbpkg.rb
+++ b/lib/rbpkg.rb
@@ -494,6 +494,7 @@ def cmd(string)
     while line = pipe.gets()
       $log.puts line
       puts line if Rbpkg.verbose_level > 1
+      $stdout.flush
     end
     pipe.close
     $?.success?