fix for distro-build/drive-clients

This commit is contained in:
Matthew Flatt 2013-07-05 09:45:16 -06:00
parent 41399c1f51
commit 4d42accf2e

View File

@ -237,7 +237,7 @@
(sh "cd " (q dir) " ; " (sh "cd " (q dir) " ; "
"make -j " j " client" "make -j " j " client"
(client-args c server 'unix) (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 (windows-build c host port user server repo clean? pull?)
(define dir (or (get-opt c '#:dir) (define dir (or (get-opt c '#:dir)