Use xbt::random instead of rand and srand

[simgrid.git] / tools / docker / Makefile

diff --git a/tools/docker/Makefile b/tools/docker/Makefile
index 4da4f51abe3b1a0822855c5950829f1fd580637d..10b18ceaea310b8d9fed17beadf3dd00d640a7de 100644 (file)
--- a/tools/docker/Makefile
+++ b/tools/docker/Makefile
@@ -67,9 +67,9 @@ tuto-smpi:
                  . | tee tuto-smpi.log
 
 push:
-       docker push simgrid/build-deps
-       docker push simgrid/stable
-       docker push simgrid/unstable
-       docker push simgrid/tuto-s4u
-       docker push simgrid/tuto-smpi
-       docker push simgrid/tuto-mc
+       docker push --all-tags simgrid/build-deps
+       docker push --all-tags simgrid/stable
+       docker push --all-tags simgrid/unstable
+       docker push --all-tags simgrid/tuto-s4u
+       docker push --all-tags simgrid/tuto-smpi
+       docker push --all-tags simgrid/tuto-mc