diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-07-09 21:07:13 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-07-09 21:07:13 +0200 |
| commit | 33f460addfcc737a7a80dab244211811283b77f7 (patch) | |
| tree | 156934b7be55ea6648b8961c9a86a156e1acae06 /gnu/system | |
| parent | 680bc34da4aa067f2d35d6a4015cd33e32dfed2f (diff) | |
| download | guix-33f460addfcc737a7a80dab244211811283b77f7.tar.gz | |
gnu: flex: Remove superfluous input.
The configure script will warn that "make indent" is unavailable, but apart from that this input is not actually used for the build process. * gnu/packages/flex.scm (flex)[inputs]: Remove INDENT. * gnu/packages/commencement.scm (flex-boot0)[inputs]: Likewise.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions