diff options
Diffstat (limited to 'build-root/vagrant')
| -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 |