diff --git a/collects/setup/option-sig.ss b/collects/setup/option-sig.ss index 3d4b1c9d67..c9b2d0a9f7 100644 --- a/collects/setup/option-sig.ss +++ b/collects/setup/option-sig.ss @@ -14,6 +14,7 @@ make-launchers call-install pause-on-errors + force-unpacks specific-collections archives current-target-directory-getter)))