From f1bdba38c941b89b05b96794842cc99c2df3df4c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 14 Feb 2002 15:29:49 +0000 Subject: [PATCH] . original commit: 42c4b63ce6f71bd6f0be1ae100c4085a132f1b8b --- collects/setup/option-sig.ss | 1 + 1 file changed, 1 insertion(+) 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)))