commit 8fb02985c36a2c001377e996b886cce0e3f0c7a7
parent 112b51dac3d4196fe5a2ed07b38a56bec67dc40c
Author: Matthew Flatt <mflatt@racket-lang.org>
Date: Sat, 14 Jun 2014 07:24:14 +0100
make installers: propagate SOURCE_MODE to clients
original commit: 16114823dca662486936b0d1f7eb527061af9048
Diffstat:
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/pkgs/distro-build-pkgs/distro-build-server/drive-clients.rkt b/pkgs/distro-build-pkgs/distro-build-server/drive-clients.rkt
@@ -24,6 +24,7 @@
;; ----------------------------------------
(define default-release? #f)
+(define default-source? #f)
(define default-clean? #f)
(define dry-run #f)
@@ -37,6 +38,8 @@
#:once-each
[("--release") "Create release-mode installers"
(set! default-release? #t)]
+ [("--source") "Create source installers"
+ (set! default-source? #t)]
[("--clean") "Erase client directories before building"
(set! default-clean? #t)]
[("--dry-run") mode
@@ -235,7 +238,7 @@
(define dist-catalogs (choose-catalogs c '("")))
(define sign-identity (get-opt c '#:sign-identity ""))
(define release? (get-opt c '#:release? default-release?))
- (define source? (get-opt c '#:source? #f))
+ (define source? (get-opt c '#:source? default-source?))
(define source-pkgs? (get-opt c '#:source-pkgs? source?))
(define source-runtime? (get-opt c '#:source-runtime? source?))
(define mac-pkg? (get-opt c '#:mac-pkg? #f))
@@ -336,6 +339,7 @@
rdme
(rdme (add-defaults c
'#:release? default-release?
+ '#:source? default-source?
'#:pkgs (string-split default-pkgs)
'#:install-name (if (get-opt c '#:release? default-release?)
""