diff options
author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2018-08-30 22:46:57 +0100 |
---|---|---|
committer | Anders Broman <a.broman58@gmail.com> | 2018-08-31 05:52:59 +0000 |
commit | 4d6c253ca92c91dafff6f5ad23f94d7e32b8f125 (patch) | |
tree | b3fd0d8afd91e7134f0e695bf5511482295c240c /Vagrantfile | |
parent | fd103ed417e4f54f12f3bfceb223da13a722cfe7 (diff) |
CMake: Add debian package target
Change-Id: I114c861e5537a010d622b31d0c335752b45f3d2e
Reviewed-on: https://code.wireshark.org/review/29360
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 58c4f6e1dc..8e8d20a71b 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -18,6 +18,8 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config| # Install and build the various things (including wireshark!) config.vm.define "ubuntu", autostart: false do |deb| deb.vm.box = "ubuntu/xenial64" + # XXX: Mounting to /vagrant (the default) won't work for building a + # Debian package. deb.vm.provision "shell" do |s| s.path = 'tools/debian-setup.sh' |