diff options
| -rw-r--r-- | jjb/vpp/include-raw-vpp-build.sh | 2 | ||||
| -rw-r--r-- | vagrant/basebuild/Vagrantfile | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/jjb/vpp/include-raw-vpp-build.sh b/jjb/vpp/include-raw-vpp-build.sh index 022ca5542..f087948f4 100644 --- a/jjb/vpp/include-raw-vpp-build.sh +++ b/jjb/vpp/include-raw-vpp-build.sh @@ -5,4 +5,4 @@ hostname cd build-root/ ./bootstrap.sh -make PLATFORM=vpp TAG=vpp_debug install-deb +make PLATFORM=vpp TAG=vpp_debug install-vpp diff --git a/vagrant/basebuild/Vagrantfile b/vagrant/basebuild/Vagrantfile index df63f33ec..84277dfcf 100644 --- a/vagrant/basebuild/Vagrantfile +++ b/vagrant/basebuild/Vagrantfile @@ -43,6 +43,9 @@ Vagrant.configure(2) do |config| # Install other stuff
# apt-get install -y qemu-kvm libvirt-bin ubuntu-vm-builder bridge-utils
+ # Install debian packaging tools
+ apt-get install -y debhelper dkms
+
# Install uio
apt-get install -y linux-image-extra-`uname -r`
|