tools/docs/Vagrantfile@b8a032363ba2
tools/docs/Vagrantfile
Thu, 22 Jan 2015 13:21:57 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 22 Jan 2015 13:21:57 +0100
- branch
- TOR_BUG_9701
- changeset 15
- b8a032363ba2
- permissions
- -rw-r--r--
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
1 # -*- mode: ruby -*-
2 # vi: set ft=ruby :
4 # We intentionally use the old config format because Mozilla's Jenkins
5 # server doesn't run a modern Vagrant.
6 Vagrant::Config.run do |config|
7 config.vm.box = "precise64"
8 config.vm.box_url = "http://files.vagrantup.com/precise64.box"
9 config.vm.share_folder("gecko", "/gecko", "../..")
10 # Doxygen needs more than the default memory or it will swap and be
11 # extremely slow.
12 config.vm.customize ["modifyvm", :id, "--memory", 2048]
13 end
