Matthew Flatt ea03cf531e add build-stamp' configuration and fix repo-time-stamp/stamp' ... The "repo-time-stamp" collection used to be omitted from a release, but to keep things simpler, it's staying in the "drracket" (and therefore "main-distribution") package. The build process installs an empty `build-stamp' value (by default) into a release build, or it installs a useful stamp for a non-release build. original commit: 2e067ab28c2b331713557feb880d8adf026a1aec		2013-07-26 22:36:21 -06:00
pkgs/distro-build	add build-stamp' configuration and fix repo-time-stamp/stamp'	2013-07-26 22:36:21 -06:00