From af6586c3a238666834d585021164601a4d4d23aa Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Sun, 18 Feb 2018 17:55:47 -0700 Subject: [PATCH] devops: Force flush shell command output. --- src/devops/build.scm | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/devops/build.scm b/src/devops/build.scm index d0546a2aa..8f2ead7e3 100644 --- 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) -- 2.25.1