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