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