From ccfa41e22cd6dd35bce81faa9ae74edcc4f79ef5 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 30 Jan 2019 16:40:19 -0700 Subject: [PATCH] pkg: add missing flush to some status printouts --- racket/collects/pkg/private/stage.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/racket/collects/pkg/private/stage.rkt b/racket/collects/pkg/private/stage.rkt index a417c449d8..5643bbdc7c 100644 --- a/racket/collects/pkg/private/stage.rkt +++ b/racket/collects/pkg/private/stage.rkt @@ -705,7 +705,7 @@ #:given-checksum (pkg-desc-checksum desc) #:use-cache? use-cache? #t - (if quiet? void printf) + (if quiet? void printf/flush) metadata-ns #:in-place? in-place? #:strip strip-mode