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

This commit is contained in:
Matthew Flatt 2014-01-28 07:18:39 -07:00
parent 387dd2117b
commit 8177be0b99

View File

@ -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