suzanne.soy/distro-build
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

distro-build/drive-clients: allow shared `#:host' spec

Browse Source 
original commit: 35075bf45e798dd925f36050138d1080110ad820
This commit is contained in:
Matthew Flatt 2013-06-29 10:11:56 -06:00
parent cb2eb982f9
commit d5bffaf5a3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/distro-build/drive-clients.rkt
View File

@ -132,6 +132,7 @@
[(#:dist-dir) (simple-string? val)]
[(#:max-vm) (real? val)]
[(#:server) (simple-string? val)]
[(#:host) (simple-string? val)]
[(#:user) (simple-string? val)]
[(#:port) (and (exact-integer? val) (<= 1 val 65535))]
[(#:dir) (string? val)]
@ -147,7 +148,6 @@
(define (check-machine-keyword kw val)
(case kw
[(#:name) (string? val)]
[(#:host) (simple-string? val)]
[else (check-group-keyword kw val)]))
(define (check-config config)