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

2013-07-01 12:46:48 -06:00 · 2013-07-01 12:46:48 -06:00 · 91ec2df239
commit 91ec2df239
parent bb49d66ed1
1 changed files with 4 additions and 2 deletions
--- a/pkgs/distro-build/drive-clients.rkt
+++ b/pkgs/distro-build/drive-clients.rkt
@ -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)