mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-29 21:25:35 +00:00
95aca92ee2
--HG-- extra : rebase_source : 1c1a444a78c0dfce110db3890e29543eeb67f3aa
14 lines
484 B
Ruby
14 lines
484 B
Ruby
# -*- mode: ruby -*-
|
|
# vi: set ft=ruby :
|
|
|
|
# We intentionally use the old config format because Mozilla's Jenkins
|
|
# server doesn't run a modern Vagrant.
|
|
Vagrant::Config.run do |config|
|
|
config.vm.box = "precise64"
|
|
config.vm.box_url = "http://files.vagrantup.com/precise64.box"
|
|
config.vm.share_folder("gecko", "/gecko", "../..")
|
|
# Doxygen needs more than the default memory or it will swap and be
|
|
# extremely slow.
|
|
config.vm.customize ["modifyvm", :id, "--memory", 2048]
|
|
end
|