blob: 4ec48f31947072d017876a409fcc0042381b841f [file] [log] [blame]
#!/usr/bin/env bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
bash ${DIR}/../p4vm/install-p4-tools.sh "$@"