From 82992db6b4a8f88bc95d4235270e178224b973f9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 1 Jul 2013 09:50:45 -0600 Subject: [PATCH] distro-build/farm: fix `#:dist-base' original commit: cccf17651d09162941b4d0abd6c85b787192cf04 --- pkgs/distro-build/farm.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/distro-build/farm.rkt b/pkgs/distro-build/farm.rkt index 15766dd..769c477 100644 --- a/pkgs/distro-build/farm.rkt +++ b/pkgs/distro-build/farm.rkt @@ -280,6 +280,7 @@ (case kw [(#:pkgs) (and (list? val) (andmap simple-string? val))] [(#:dist-name) (string? val)] + [(#:dist-base) (simple-string? val)] [(#:dist-dir) (simple-string? val)] [(#:dist-suffix) (simple-string? val)] [(#:max-vm) (real? val)]