blob: f0e94c9e1bb84a8033f380cab7f580eae7f328db [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 Casconeb7e618d2018-01-12 18:31:33 -08005bash ${DIR}/../p4vm/install-p4-tools.sh