Add GDB and GDB Server to bootstrap files

[vpp.git] / build-root / vagrant / bootstrap.ubuntu1404.sh

diff --git a/build-root/vagrant/bootstrap.ubuntu1404.sh b/build-root/vagrant/bootstrap.ubuntu1404.sh
index fc1a3b8..2b6bbcb 100644 (file)
--- a/build-root/vagrant/bootstrap.ubuntu1404.sh
+++ b/build-root/vagrant/bootstrap.ubuntu1404.sh
@@ -10,7 +10,7 @@ apt-get upgrade -y
 sudo update-alternatives --install /bin/sh sh /bin/bash 100
 
 # Install build tools
-apt-get install -y build-essential autoconf automake bison libssl-dev ccache libtool git dkms debhelper emacs libganglia1-dev libapr1-dev libconfuse-dev git-review
+apt-get install -y build-essential autoconf automake bison libssl-dev ccache libtool git dkms debhelper emacs libganglia1-dev libapr1-dev libconfuse-dev git-review gdb gdbserver
 
 # Install other stuff
 # apt-get install -y qemu-kvm libvirt-bin ubuntu-vm-builder bridge-utils
@@ -23,9 +23,6 @@ apt-get install -y openjdk-7-jdk
 # $$$ comment out for the moment
 # apt-get install -y --force-yes maven3
 
-# Install debian packaging tools
-apt-get install -y debhelper dkms
-
 # Setup for hugepages using upstart so it persists across reboots
 echo "vm.nr_hugepages=1024" >> /etc/sysctl.d/20-hugepages.conf
 sysctl --system