./scripts/find-dev-contents $(INSTALL_PREFIX)$(ARCH) \
deb/debian/vpp-dev.install ; \
\
+ : dpdk headers ; \
+ ./scripts/find-dpdk-contents $(INSTALL_PREFIX)$(ARCH) \
+ deb/debian/vpp-dpdk-dev.install ; \
+ \
: bin package needs startup config ; \
echo ../../vpp/conf/startup.conf /etc/vpp \
>> deb/debian/vpp.install ; \