devops: Force flush shell command output.

diff --git a/src/devops/build.scm b/src/devops/build.scm
index d0546a2aafc87144d47061d38bcb25a00ace92f7..8f2ead7e35fb0b69c0ba861cc0f38360367828f7 100644 (file)
--- a/src/devops/build.scm
+++ b/src/devops/build.scm
@@ -318,13 +318,16 @@ Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
 (define (shell* cmdln . options)
   (let ((status (apply run-shell-command cmdln
                       'environment scheme-subprocess-environment
+                      'redisplay-hook flush-output
                       options)))
     (if (not (zero? status))
        (error "Shell command failed:" status cmdln))
     status))
 
 (define (shell*-noerror cmdln . options)
-  (apply run-shell-command cmdln 'environment scheme-subprocess-environment
+  (apply run-shell-command cmdln
+        'environment scheme-subprocess-environment
+        'redisplay-hook flush-output
         options))
 
 (define (with-subprocess-environment-variable name value thunk)