diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-12-14 14:08:14 +0100 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-12-16 22:49:10 +0100 |
| commit | 9c14fd07708e0824c493f273a236747631799261 (patch) | |
| tree | ce5ab0afbc3fc53caea6eb0749a7466885a8b20d /gnu/local.mk | |
| parent | b3bf38a5600d0fdcb0aeed29ee121edef632165d (diff) | |
| download | guix-9c14fd07708e0824c493f273a236747631799261.tar.gz | |
bootstrap: Remove development hacks.
* gnu/packages/commencement.scm (%fake-bootstrap?): Remove. Update users to always keep true bootstrap; i.e., do not use %bootstrap-guile. (mes-boot0): Remove. Update users. (nyacc-boot): Likewise.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions