Remove extra --rm

PiperOrigin-RevId: 272324038
This commit is contained in:
Michael Pratt 2019-10-01 16:44:27 -07:00 committed by gVisor bot
parent 29207cef14
commit 03ce4dd86c
1 changed files with 1 additions and 1 deletions

View File

@ -58,7 +58,7 @@ if [[ ${REFRESH} -eq 0 ]]; then
echo
echo "Runtimes ${RUNTIME} and ${RUNTIME}-d (debug enabled) setup."
echo "Use --runtime="${RUNTIME}" with your Docker command."
echo " docker run --rm --runtime="${RUNTIME}" --rm hello-world"
echo " docker run --rm --runtime="${RUNTIME}" hello-world"
echo
echo "If you rebuild, use $0 --refresh."