From 8177be0b9953fac926425b4b26e91fdbba8ed083 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 28 Jan 2014 07:18:39 -0700
Subject: [PATCH] distro-build: record "" build stamp (especially for release
 mode)

---
 pkgs/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
index 233c6be363..147324b01e 100644
--- 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