debian: Fix "make dist" by adding corekeeper.override to EXTRA_DIST.
[sliver-openvswitch.git] / debian / automake.mk
1 EXTRA_DIST += \
2         debian/changelog \
3         debian/compat \
4         debian/control \
5         debian/control.modules.in \
6         debian/copyright \
7         debian/corekeeper.cron.daily \
8         debian/corekeeper.init \
9         debian/corekeeper.override \
10         debian/dirs \
11         debian/openvswitch-common.dirs \
12         debian/openvswitch-common.install \
13         debian/openvswitch-common.manpages \
14         debian/openvswitch-controller.README.Debian \
15         debian/openvswitch-controller.default \
16         debian/openvswitch-controller.dirs \
17         debian/openvswitch-controller.init \
18         debian/openvswitch-controller.install \
19         debian/openvswitch-controller.manpages \
20         debian/openvswitch-controller.postinst \
21         debian/openvswitch-datapath-module-_KVERS_.postinst.modules.in \
22         debian/openvswitch-datapath-source.README.Debian \
23         debian/openvswitch-datapath-source.copyright \
24         debian/openvswitch-datapath-source.dirs \
25         debian/openvswitch-datapath-source.install \
26         debian/openvswitch-monitor.default \
27         debian/openvswitch-monitor.dirs \
28         debian/openvswitch-monitor.init \
29         debian/openvswitch-monitor.install \
30         debian/openvswitch-pki-server.apache2 \
31         debian/openvswitch-pki-server.dirs \
32         debian/openvswitch-pki-server.install \
33         debian/openvswitch-pki-server.postinst \
34         debian/openvswitch-pki.postinst \
35         debian/openvswitch-switch-config.dirs \
36         debian/openvswitch-switch-config.install \
37         debian/openvswitch-switch-config.manpages \
38         debian/openvswitch-switch-config.overrides \
39         debian/openvswitch-switch-config.templates \
40         debian/openvswitch-switch.README.Debian \
41         debian/openvswitch-switch.dirs \
42         debian/openvswitch-switch.init \
43         debian/openvswitch-switch.install \
44         debian/openvswitch-switch.logrotate \
45         debian/openvswitch-switch.manpages \
46         debian/openvswitch-switch.postinst \
47         debian/openvswitch-switch.postrm \
48         debian/openvswitch-switch.template \
49         debian/openvswitch-switchui.copyright \
50         debian/openvswitch-switchui.default \
51         debian/openvswitch-switchui.dirs \
52         debian/openvswitch-switchui.init \
53         debian/openvswitch-switchui.install \
54         debian/openvswitch-wdt.default \
55         debian/openvswitch-wdt.dirs \
56         debian/openvswitch-wdt.init \
57         debian/openvswitch-wdt.install \
58         debian/ovs-switch-setup \
59         debian/ovs-switch-setup.8 \
60         debian/po/POTFILES.in \
61         debian/po/templates.pot \
62         debian/reconfigure \
63         debian/rules \
64         debian/rules.modules
65
66 check-debian-changelog-version:
67         @if $(FGREP) '($(VERSION))' $(srcdir)/debian/changelog >/dev/null; \
68         then                                                               \
69           :;                                                               \
70         else                                                               \
71           echo "Update debian/changelog to mention version $(VERSION)";    \
72           exit 1;                                                          \
73         fi
74 ALL_LOCAL += check-debian-changelog-version
75 DIST_HOOKS += check-debian-changelog-version