diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2019-03-08 15:36:31 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2019-03-08 17:22:29 +0200 |
| commit | 606c19878867ada90e40a46cf18194a0e1408945 (patch) | |
| tree | f8d453c0b3e07d1ad0f6a028deb4837ec78e4ba1 /gnu/build | |
| parent | b89284407fd5d865ca7cc8622459692cec9297cf (diff) | |
| download | guix-606c19878867ada90e40a46cf18194a0e1408945.tar.gz | |
gnu: crawl: Find all the included headers.
* gnu/packages/games.scm (crawl)[arguments]: Add a custom phase to change the path for some headers.
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions