misc: package the devtool plugins

a274c3a2ed8c4f1f38cb6f126326b4e6798869d2 has split the devtool plugins into a separate component,
which caused them not to be packaged as part of the existing .deb, however this can still be useful
to have them.

This commit adds the new deb vpp-plugin-devtools which contains that component.

Change-Id: I3cf44493745c3d4951ffd2194c6ae539e8ad5926
Type: fix
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>

diff --git a/src/pkg/debian/control.in b/src/pkg/debian/control.in
index 1a8cfd4..aa0a034 100644 (file)
--- a/src/pkg/debian/control.in
+++ b/src/pkg/debian/control.in
@@ -58,6 +58,14 @@ Description: Vector Packet Processing--runtime core plugins
  This package contains VPP core plugins
  .
 
+Package: vpp-plugin-devtools
+Architecture: any
+Depends: vpp (= ${source:Version}),
+         ${shlibs:Depends}
+Description: Vector Packet Processing--runtime developer tool plugins
+ This package contains VPP developer tool plugins
+ .
+
 Package: vpp-plugin-dpdk
 Architecture: any
 Depends: vpp (= ${source:Version}),