fix path to get-libs.rkt

This commit is contained in:
Eli Barzilay 2010-11-13 13:18:23 -05:00
parent d2fe39da33
commit 85c2a333a5

View File

@ -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"