diff options
| author | Didier Raboud <odyx@debian.org> | 2016-12-29 19:14:24 +0100 |
|---|---|---|
| committer | Didier Raboud <odyx@debian.org> | 2016-12-29 20:06:11 +0100 |
| commit | 18891af98f7f52d8875ea337984eaba200d397ef (patch) | |
| tree | f3ec774b3d89a177d3e5663e31c379564da22883 /Makefile | |
| parent | f5e570497ed7e31537600142df898f0f36847cad (diff) | |
Don't allow kernel selection, as their download doesn't work (circumvents #819092)
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -63,8 +63,7 @@ endif # Disabling the kFreeBSD download ifndef NOT_ALLKERNELS MAKENSIS += -DALLKERNELS=yes -else -OPTIONS_TXT += =linux +OPTIONS_TXT += +kernels endif ifdef OPTIONS_TXT |