blob: 4ec48f31947072d017876a409fcc0042381b841f [file] [log] [blame]
Carmelo Casconeacf12252017-06-05 01:05:43 -04001#!/usr/bin/env bash
Carmelo Casconeacf12252017-06-05 01:05:43 -04002
Carmelo Casconeb7e618d2018-01-12 18:31:33 -08003DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
Carmelo Casconeacf12252017-06-05 01:05:43 -04004
Carmelo Cascone95e5afd2018-07-17 14:45:23 +02005bash ${DIR}/../p4vm/install-p4-tools.sh "$@"