summaryrefslogtreecommitdiffstats
path: root/build-root/vagrant
diff options
context:
space:
mode:
authorDave Wallace <dwallacelf@gmail.com>2016-02-03 22:40:07 -0500
committerGerrit Code Review <gerrit@fd.io>2016-02-04 13:13:21 +0000
commitefe710fe56f9dc6117f5777dc1f9dbd6748352e4 (patch)
tree8d7871ac3b950041c36150e6e9d5145a86f7bb01 /build-root/vagrant
parentd255ee13f57a73d2374dbcd63b1a377d88672557 (diff)
Remove redundant apt-get install of dkms and debhelper.
Change-Id: Id2caea331f86a71f26990e1ae11288826157e737 Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to 'build-root/vagrant')
-rw-r--r--build-root/vagrant/bootstrap.ubuntu1404.sh3
1 files changed, 0 insertions, 3 deletions
diff --git a/build-root/vagrant/bootstrap.ubuntu1404.sh b/build-root/vagrant/bootstrap.ubuntu1404.sh
index fc1a3b8d1ef..d6729073abf 100644
--- a/build-root/vagrant/bootstrap.ubuntu1404.sh
+++ b/build-root/vagrant/bootstrap.ubuntu1404.sh
@@ -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