fix for distro-build/drive-clients

original commit: 4d42accf2e632e14df37ed1335e322e9306152f5
This commit is contained in:
Matthew Flatt 2013-07-05 09:45:16 -06:00
parent b96bebc956
commit ec4fee69e3

View File

@ -237,7 +237,7 @@
(sh "cd " (q dir) " ; "
"make -j " j " client"
(client-args c server 'unix)
" CONFIGURE_ARGS_qq=" (qq (get-opt c '#:configure null)))))
" CONFIGURE_ARGS_qq=" (qq (get-opt c '#:configure null) 'unix))))
(define (windows-build c host port user server repo clean? pull?)
(define dir (or (get-opt c '#:dir)