diff --git a/collects/setup/option-sig.rkt b/collects/setup/option-sig.rkt index cad8bedaa7..00e9f426bd 100644 --- a/collects/setup/option-sig.rkt +++ b/collects/setup/option-sig.rkt @@ -21,7 +21,6 @@ call-install call-post-install pause-on-errors - parallel-build parallel-workers force-unpacks doc-pdf-dest