diff --git a/collects/meta/build/build b/collects/meta/build/build index 547be96757..ec6bd46855 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -1356,8 +1356,8 @@ DO_WIN32_BUILD() { build_w32step VSNET "mrstart" _cd "$PLTHOME/lib" - build_w32step RKT "get-libs (gui)" src/get-libs.rkt core - build_w32step RKT "get-libs (gui)" src/get-libs.rkt gui + build_w32step RKT "get-libs (gui)" ../src/get-libs.rkt core + build_w32step RKT "get-libs (gui)" ../src/get-libs.rkt gui separator "win32: Building libraries" _cd "$PLTHOME"