diff --git a/collects/meta/build/build b/collects/meta/build/build index 97cc3b6e76..a32610fd9c 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -1346,7 +1346,7 @@ DO_WIN32_BUILD() { build_w32step VSNET "mzstart" build_w32step VSNET "mrstart" - separator "win32: Retreive external libraries" + _cd "$PLTHOME" build_w32step RKT "get-libs" src/gracket/get-libs.rkt src/gracket lib separator "win32: Building libraries"