diff options
author | Tom Gundersen <teg@jklm.no> | 2012-11-20 01:24:32 +0100 |
---|---|---|
committer | Tom Gundersen <teg@jklm.no> | 2012-11-20 19:35:27 +0100 |
commit | e30431623a7d871da123cc37055ac49abf2c20ea (patch) | |
tree | b07f9dcec833b65964e3b07b2907a73ebbd03184 /make-man-index.py | |
parent | 1d0b59f932d96c108ad5e921213723a48e6b47b8 (diff) |
build-sys: make loadable module support optional
kmod is unecessary if loadable module support is disabled in the kernel,
so make the dependency optional.
Diffstat (limited to 'make-man-index.py')
0 files changed, 0 insertions, 0 deletions