Restore container name in make command

informalsystems · Sep 18, 2023 · 6ef472f · 6ef472f
1 parent ff4c27a
commit 6ef472f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -10,7 +10,7 @@ test-docker:
 
 	# Start a container and execute the test command inside
 	docker rm cometmock-test-instance || true
-	docker run --name cometmock-test-instance --workdir /CometMock simd --help
+	docker run --name cometmock-test-instance --workdir /CometMock cometmock-test simd --help
 	# docker run --name cometmock-test-instance --workdir /CometMock cometmock-test go test -timeout 600s ./e2e-tests -test.v
 
 	# Remove the container after tests