diff --git a/debian/rules b/debian/rules
index 2ddcaa0b07c133ea7ef5dfa9a0888a7147298903..4d2d74504bde026f4cae189b24bd5cb340fa64f0 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
config.status: configure $(DPATCH_STAMPFN)
dh_testdir
+ ( cd debian/patches/; for patch in *; do \
+ if test "$$patch" != "00list"; then \
+ grep "$$patch" 00list > /dev/null \
+ || ( echo "$$patch not enabled\!"; exit 1 ); \
+ fi; done )
+
# This is a work-around for #474087 (broken openipmi .pc files).
mkdir debian/pkgconfig
sed -re 's/^(Requires:.*) pthread(.*)$$/\1\2/' \