diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2019-04-12 00:43:36 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2019-04-12 00:46:08 +0200 |
| commit | 0b30a1a072de0dd288519bde6b401a3e906eff84 (patch) | |
| tree | f13d80505a14a972205741e5a3f6e6cf49f786a1 /gnu/packages/idris.scm | |
| parent | 55548cdc6af701bfa3df51139a9cf8fa3a2fcfa5 (diff) | |
| download | patches-0b30a1a072de0dd288519bde6b401a3e906eff84.tar patches-0b30a1a072de0dd288519bde6b401a3e906eff84.tar.gz | |
build-system/linux-module: Configure module like the kernel.
* guix/build/linux-module-build-system.scm (configure): New procedure.
(%standard-phases): Add "configure" phase.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions