diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2016-02-03 22:40:07 -0500 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@fd.io> | 2016-02-04 13:13:21 +0000 |
| commit | efe710fe56f9dc6117f5777dc1f9dbd6748352e4 (patch) | |
| tree | 8d7871ac3b950041c36150e6e9d5145a86f7bb01 | |
| parent | d255ee13f57a73d2374dbcd63b1a377d88672557 (diff) | |
Remove redundant apt-get install of dkms and debhelper.
Change-Id: Id2caea331f86a71f26990e1ae11288826157e737
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
| -rw-r--r-- | build-root/vagrant/bootstrap.ubuntu1404.sh | 3 |
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 |