diff options
| author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2018-08-30 22:33:52 +0100 |
|---|---|---|
| committer | Anders Broman <a.broman58@gmail.com> | 2018-08-31 05:52:43 +0000 |
| commit | fd103ed417e4f54f12f3bfceb223da13a722cfe7 (patch) | |
| tree | ccec9e9f2d351c0eba28fc2e75e27b95ffc62be1 /Vagrantfile | |
| parent | a1fe8fe0661ebacb8f51a2ae7e7d6ecfcd8db1a8 (diff) | |
vagrant: Enable ccache
Change-Id: Ifcf24a7ad2a1745f67838ee76a8a49e51049fc3a
Reviewed-on: https://code.wireshark.org/review/29359
Reviewed-by: Anders Broman <a.broman58@gmail.com>
Diffstat (limited to 'Vagrantfile')
| -rw-r--r-- | Vagrantfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Vagrantfile b/Vagrantfile index 2f38d0e192..58c4f6e1dc 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -23,6 +23,7 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config| s.path = 'tools/debian-setup.sh' s.args = ['--install-optional', '--assume-yes'] end + deb.vm.provision :shell, inline: "apt-get -y install ccache" deb.vm.provision :shell, path: 'vagrant_build.sh', privileged: false end @@ -33,6 +34,7 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config| s.path = 'tools/rpm-setup.sh' s.args = ['--install-optional', '--assumeyes'] end + rpm.vm.provision :shell, inline: "yum -y install ccache" rpm.vm.provision :shell, path: 'vagrant_build.sh', privileged: false end end |