diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-03 23:01:44 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-06 23:21:24 +0100 |
| commit | c5ce2db56909e7dd3fdcd30fa453272d56b07451 (patch) | |
| tree | acd009ea8d46668089b1c086a9274797afa64769 /.dir-locals.el | |
| parent | b27ef1d46cfdc3c994b106241f99cd7142083d13 (diff) | |
| download | patches-c5ce2db56909e7dd3fdcd30fa453272d56b07451.tar patches-c5ce2db56909e7dd3fdcd30fa453272d56b07451.tar.gz | |
install: Add 'install-database-and-gc-roots'.
* gnu/build/install.scm (%root-profile): New variable.
(install-database-and-gc-roots): New procedure.
(populate-single-profile-directory): Replace inline code with a call to
'install-database-and-gc-roots'.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions