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 /debian | |
parent | f5e570497ed7e31537600142df898f0f36847cad (diff) |
Don't allow kernel selection, as their download doesn't work (circumvents #819092)
Diffstat (limited to 'debian')
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 266c178..8926a14 100755 --- a/debian/rules +++ b/debian/rules @@ -40,8 +40,10 @@ NSIS_VERSION := $(shell dpkg-query -f='$${Version}' -W nsis ) override_dh_auto_build: ifeq ($(BYHAND),yes) # Build the standalone+pxe version + # Don't allow non-Linux kernels, as their download is currently broken (see #819092) STANDALONE=yes \ PXE=yes \ + NOT_ALLKERNELS=yes \ OUTFILE_NAME=$(W32_BYHAND_NAME).exe \ BUILD_DATE="$(BUILD_DATE)" \ dh_auto_build |