From 03ce4dd86c9acd6b6148f68d5d2cf025d8c254bb Mon Sep 17 00:00:00 2001 From: Michael Pratt Date: Tue, 1 Oct 2019 16:44:27 -0700 Subject: Remove extra --rm PiperOrigin-RevId: 272324038 --- scripts/dev.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts') diff --git a/scripts/dev.sh b/scripts/dev.sh index ee74dcb72..c67003018 100755 --- a/scripts/dev.sh +++ b/scripts/dev.sh @@ -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." -- cgit v1.2.3