build_docker.sh #1

#!/bin/bash
# Build docker file

docker build --rm=true -t=p4benchmark p4/docker

#	Change	User	Description	Committed
#1	19100	Robert Cowham	Initial version