distro-build/farm: fix `#:dist-base'

original commit: cccf17651d09162941b4d0abd6c85b787192cf04
2013-07-01 09:50:45 -06:00 · 2013-07-01 09:50:45 -06:00 · 82992db6b4
commit 82992db6b4
parent cb01a4af0f
1 changed files with 1 additions and 0 deletions
--- 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)]