tools/docs/Vagrantfile

Thu, 15 Jan 2015 15:55:04 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Thu, 15 Jan 2015 15:55:04 +0100
branch
TOR_BUG_9701
changeset 9
a63d609f5ebe
permissions
-rw-r--r--

Back out 97036ab72558 which inappropriately compared turds to third parties.

     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

mercurial