docker: use the latest tag, so we can omit the tag

measurement-kit · Jan 23, 2019 · d09ffbb · d09ffbb
1 parent 4236bde
commit d09ffbb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -67,6 +67,6 @@ build_script:
 ```
 docker build --no-cache debian
 docker tag `docker images | head | awk '{print $3}'|sed -n 2p` \
-    bassosimone/mk-debian:testing
+    bassosimone/mk-debian
 docker push bassosimone/mk-debian
 ```
diff --git a/script/travis b/script/travis
@@ -72,4 +72,4 @@ else
   echo "$0: cannot determine build system type" 1>&2
   exit 1
 fi
-$ROOTDIR/.ci/common/script/docker-run bassosimone/mk-debian:testing $BUILD_TOOL
+$ROOTDIR/.ci/common/script/docker-run bassosimone/mk-debian $BUILD_TOOL