diff --git a/collects/setup/plt-single-installer.rkt b/collects/setup/plt-single-installer.rkt index 864ffbcb11..dbce6412e2 100644 --- a/collects/setup/plt-single-installer.rkt +++ b/collects/setup/plt-single-installer.rkt @@ -73,7 +73,9 @@ (make-launchers #f) (make-info-domain #t) (call-install #f) - (make-docs #f))) + (make-docs #f)) + + (parallel-workers 1)) (invoke-unit (compound-unit/infer (import)