Try invoking CometMock from Makefile

informalsystems · Sep 18, 2023 · 7217bda · 7217bda
1 parent 555b06a
commit 7217bda
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 cometmock-test simd --help
+	docker run --name cometmock-test-instance --workdir /CometMock cometmock-test cometmock --help
 	# docker run --name cometmock-test-instance --workdir /CometMock cometmock-test go test -timeout 600s ./e2e-tests -test.v
 
 	# Remove the container after tests