www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs

commit cabceb578564fe7a341cb60f03b73e90c6d4ba74
parent 0e03c2111fb3d48fd4388a0c7b3134dbf0953240
Author: Matthew Flatt <mflatt@racket-lang.org>
Date:   Tue, 28 Jan 2014 07:18:39 -0700

distro-build: record "" build stamp (especially for release mode)

original commit: 8177be0b9953fac926425b4b26e91fdbba8ed083

Diffstat:
Mpkgs/distro-build/set-config.rkt | 4+---
1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/pkgs/distro-build/set-config.rkt b/pkgs/distro-build/set-config.rkt @@ -47,9 +47,7 @@ [table (if (equal? install-name "") table (hash-set table 'installation-name install-name))] - [table (if (equal? build-stamp "") - table - (hash-set table 'build-stamp build-stamp))]) + [table (hash-set table 'build-stamp build-stamp)]) (unless (equal? table orig) (make-directory* (path-only dest-config-file)) (call-with-output-file dest-config-file