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