misc: package the devtool plugins 63/33863/2
authorAndrew Yourtchenko <ayourtch@gmail.com>
Tue, 28 Sep 2021 08:26:26 +0000 (10:26 +0200)
committerDamjan Marion <dmarion@me.com>
Thu, 30 Sep 2021 07:23:33 +0000 (07:23 +0000)
commitcdd9a703b14b7ee093764eae14c67f60924ad67b
tree744c85a451480d99700ac07e07936ee31449c83a
parentc7164827a951d924d07df7caae03096ea6b0d09a
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>
src/pkg/debian/control.in