diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-03-26 11:36:33 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-03-26 18:11:52 +0100 |
| commit | ec8bc4a34e99363f80b0156587892b5623709098 (patch) | |
| tree | 9df56f905ed784034af9918c3e2bc94dc74f4395 /.dir-locals.el | |
| parent | 863519f660fdebefbbb7f7c18b4875ba9b05f74c (diff) | |
| download | patches-ec8bc4a34e99363f80b0156587892b5623709098.tar patches-ec8bc4a34e99363f80b0156587892b5623709098.tar.gz | |
build-self: Disable position recording.
'guix pull -n' goes roughly from 40s to 35s.
* build-aux/build-self.scm (build-program): Add call to 'read-disable'.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions