distro-build/farm: fix `#:pkgs' handling

original commit: 91ec2df239873b9a4c12a8250798f0fe07f8ab78
This commit is contained in:
Matthew Flatt 2013-07-01 12:46:48 -06:00
parent 64a990422c
commit 01e9dfea0c

View File

@ -238,8 +238,10 @@
(define user (get-opt c '#:user))
(define server (or (get-opt c '#:server)
default-server))
(define pkgs (or (get-opt c '#:pkgs)
default-pkgs))
(define pkgs (let ([l (get-opt c '#:pkgs)])
(if l
(apply ~a #:separator " " l)
default-pkgs)))
(define dist-name (or (get-opt c '#:dist-name)
default-dist-name))
(define dist-base (or (get-opt c '#:dist-base)