diff options
author | Dave Barach <dave@barachs.net> | 2016-02-01 12:05:52 -0500 |
---|---|---|
committer | Dave Barach <dave@barachs.net> | 2016-02-01 12:06:04 -0500 |
commit | 74574228b0f63a3c8fd373321ed25f4d24308df0 (patch) | |
tree | 7876bc41a773b1a379c1b1835c4eb05a94a47d3e /build-root/deb/debian/.gitignore | |
parent | 67ba3bed006c8fdaec5cbee897843d54cf2f538d (diff) |
Add a vpp-dpdk-dev package, enable plugins to use dpdk APIs directly
Change-Id: I69db06a0b5d5d556c2fd570ea0056bb59d7bc3d6
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'build-root/deb/debian/.gitignore')
-rw-r--r-- | build-root/deb/debian/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build-root/deb/debian/.gitignore b/build-root/deb/debian/.gitignore index 261ea486783..e7868b4e964 100644 --- a/build-root/deb/debian/.gitignore +++ b/build-root/deb/debian/.gitignore @@ -7,6 +7,7 @@ vpp-dpdk-dkms* vpp/ vpp-dev/ vpp-lib/ +vpp-dpdk-dev/ vpp-dpdk-dkms/ vpp-dbg/ vppctl/ |