From b3de60d67483ccec74c3d4214f0535f85f047a9c Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 8 Feb 2008 19:54:42 +0000 Subject: [PATCH] add -U to avoid compiling user-specific collects svn: r8590 original commit: 6b48a31ffbb4daca2a4e0ea2d9b161aec0674db2 --- 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 12a1a7a12f..1285a76453 100644 --- a/collects/setup/option-sig.ss +++ b/collects/setup/option-sig.ss @@ -14,6 +14,7 @@ make-info-domain make-launchers make-docs + make-user make-planet call-install call-post-install