#!/usr/bin/make -f
# See debhelper(7) (uncomment to enable)
# output every command that modifies files on the build system.
#export DH_VERBOSE = 1


# see FEATURE AREAS in dpkg-buildflags(1)
#export DEB_BUILD_MAINT_OPTIONS = hardening=+all

# see ENVIRONMENT in dpkg-buildflags(1)
# package maintainers to append CFLAGS
#export DEB_CFLAGS_MAINT_APPEND  = -Wall -pedantic
# package maintainers to append LDFLAGS
#export DEB_LDFLAGS_MAINT_APPEND = -Wl,--as-needed


%:
	dh $@

# Skip cleaning in the kernel/ that is part of the dist set.
# We delete some files from there using debian/clean as well.
override_dh_auto_clean:
	dh_auto_clean -- DIST_SUBDIRS='$$(SUBDIRS)'

override_dh_auto_configure:
	dh_auto_configure -- --disable-kernel-module
