go to PLTHOME before getting the libraries
This commit is contained in:
parent
9a1f19dba7
commit
d8945c0bd1
|
@ -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"
|
||||
|
|
Loading…
Reference in New Issue
Block a user