diff options
author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2018-08-30 21:18:43 +0100 |
---|---|---|
committer | Anders Broman <a.broman58@gmail.com> | 2018-08-31 04:10:52 +0000 |
commit | 94735eb2bc02f7d683e50cfda1e5d0735cf5f97f (patch) | |
tree | 82adac1318c1686acd5cc25bc8de24508b49aa03 /vagrant_provision.sh | |
parent | 1d3548fb6db4e84e1b170f6297309a4d3a53ecb7 (diff) |
vagrant: Use debian-setup.sh
Change-Id: Idb6c9281d050e89dc8eb564fe9d35ce1d4a27d8a
Reviewed-on: https://code.wireshark.org/review/29356
Reviewed-by: Anders Broman <a.broman58@gmail.com>
Diffstat (limited to 'vagrant_provision.sh')
-rw-r--r-- | vagrant_provision.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/vagrant_provision.sh b/vagrant_provision.sh deleted file mode 100644 index c13ba1ab39..0000000000 --- a/vagrant_provision.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/bash -# -# Copyright 2015 Evan Huus <eapache@gmail.com> -# -# Wireshark - Network traffic analyzer -# By Gerald Combs <gerald@wireshark.org> -# Copyright 1998 Gerald Combs -# -# SPDX-License-Identifier: GPL-2.0-or-later - -set -e - -apt-get update -apt-get build-dep -y wireshark -apt-get install -y git cmake valgrind qt5-default \ - libqt5multimedia5 qtmultimedia5-dev \ - libqt5svg5-dev qttools5-dev qttools5-dev-tools |