From 85c2a333a5a62aba8d72f0372cc6653feb1c6be4 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Sat, 13 Nov 2010 13:18:23 -0500
Subject: [PATCH] fix path to get-libs.rkt

---
 collects/meta/build/build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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"