diff --git a/debian/Makefile b/debian/Makefile index 148d7d7f3..12eca5f33 100644 --- a/debian/Makefile +++ b/debian/Makefile @@ -179,7 +179,11 @@ $(kdir): post-install-$(subarch) $(controls) -e 's/@abiname@/$(abiname)/g' | \ sed '/^[[:space:]]*$$/d' | \ sed 's/^Package:/\n&/g' > $(tkdir)/debian/control - touch $(tkdir)/debian/official + touch $(tkdir)/debian/official +# +# This is required to disable some buggy checks. +# + touch $(tkdir)/stamp-debian if [ -n '$(patches)' ]; then \ cd $(tkdir); \ cat $(addprefix ../,$(patches)) | patch -p1; \