From 91ec2df239873b9a4c12a8250798f0fe07f8ab78 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 1 Jul 2013 12:46:48 -0600 Subject: [PATCH] distro-build/farm: fix `#:pkgs' handling --- pkgs/distro-build/drive-clients.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pkgs/distro-build/drive-clients.rkt b/pkgs/distro-build/drive-clients.rkt index 38d0169068..1eacbad681 100644 --- 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)