Remove time command.

reitermarkus · reitermarkus · commit 7cb476a05fde · 2019-08-30T08:41:40.000+02:00
diff --git a/build-docker-image.sh b/build-docker-image.sh
@@ -8,8 +8,8 @@ run() {
   local dockerfile="Dockerfile.${1}"
   local image="rustembedded/cross:${1}"
 
-  time docker pull "${image}" || true
-  time docker build --pull --cache-from "${image}" -t "${image}" -f "${dockerfile}" .
+  docker pull "${image}" || true
+  docker build --pull --cache-from "${image}" -t "${image}" -f "${dockerfile}" .
 }
 
 if [ -z "${1}" ]; then

Original file line number	Diff line number	Diff line change
`@@ -8,8 +8,8 @@ run() {`
`8`	`8`	`local dockerfile="Dockerfile.${1}"`
`9`	`9`	`local image="rustembedded/cross:${1}"`
`10`	`10`
`11`		`- time docker pull "${image}" \|\| true`
`12`		`- time docker build --pull --cache-from "${image}" -t "${image}" -f "${dockerfile}" .`
	`11`	`+ docker pull "${image}" \|\| true`
	`12`	`+ docker build --pull --cache-from "${image}" -t "${image}" -f "${dockerfile}" .`
`13`	`13`	`}`
`14`	`14`
`15`	`15`	`if [ -z "${1}" ]; then`