debian/bin/gencontrol.py: Make it possible to disable udeb generation.
svn path=/dists/sid/linux/; revision=19147
This commit is contained in:
parent
1b8de128ea
commit
d1bd5f4a19
|
@ -114,6 +114,10 @@ class Gencontrol(Base):
|
|||
["$(MAKE) -f debian/rules.real install-libc-dev_%s %s" %
|
||||
(arch, makeflags)])
|
||||
|
||||
if self.changelog[0].distribution == 'UNRELEASED' and os.getenv('DEBIAN_KERNEL_DISABLE_INSTALLER'):
|
||||
import warnings
|
||||
warnings.warn(u'Disable building of debug infos on request (DEBIAN_KERNEL_DISABLE_INSTALLER set)')
|
||||
else:
|
||||
# Add udebs using kernel-wedge
|
||||
installer_def_dir = 'debian/installer'
|
||||
installer_arch_dir = os.path.join(installer_def_dir, arch)
|
||||
|
@ -282,7 +286,7 @@ class Gencontrol(Base):
|
|||
|
||||
if build_debug and self.changelog[0].distribution == 'UNRELEASED' and os.getenv('DEBIAN_KERNEL_DISABLE_DEBUG'):
|
||||
import warnings
|
||||
warnings.warn(u'Disable building of debug infos on request (DEBIAN_KERNEL_DISABLE_DEBUG)')
|
||||
warnings.warn(u'Disable building of debug infos on request (DEBIAN_KERNEL_DISABLE_DEBUG set)')
|
||||
build_debug = False
|
||||
|
||||
if build_debug:
|
||||
|
|
Loading…
Reference in New Issue