From 368b9d33823dd3ca36a6b18d939333bae689d610 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 7 Oct 2005 17:21:10 +0000 Subject: [PATCH] fix 3m-too flag svn: r1015 --- collects/make/doc.txt | 2 +- collects/make/setup-extension.ss | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/make/doc.txt b/collects/make/doc.txt index 9b7575436e..865f7b5867 100644 --- a/collects/make/doc.txt +++ b/collects/make/doc.txt @@ -215,7 +215,7 @@ inspecting "/usr/lib". More generally, the "last chance" argument to windows-libs extra-depends last-chance-k - [3m-too? #t]) + [3m-too? #f]) The arguments are as follows: diff --git a/collects/make/setup-extension.ss b/collects/make/setup-extension.ss index 63cbbf9aa4..e7f2c72aee 100644 --- a/collects/make/setup-extension.ss +++ b/collects/make/setup-extension.ss @@ -43,7 +43,7 @@ windows-libs extra-depends last-chance-k - 3m-too?) + [3m-too? #f]) ;; Compile and link one file: (define (go file.c xform-src.c) (pre-install/check-precompiled plthome