diff --git a/utils/dc-chain/docker/Dockerfile b/utils/dc-chain/docker/Dockerfile index 1a94b6cc7..b20aff769 100644 --- a/utils/dc-chain/docker/Dockerfile +++ b/utils/dc-chain/docker/Dockerfile @@ -3,7 +3,7 @@ # # usage: # - build one of the images: -# docker build -t dcchain:stable --build-arg dc_chain=stable --build-arg makejobs=8 . +# docker build -t dcchain:stable --build-arg dc_chain=stable --build-arg default_precision=m4-single . # docker build -t dcchain:legacy --build-arg dc_chain=legacy --build-arg makejobs=4 . # docker build -t dcchain:dev --build-arg dc_chain=dev --build-arg makejobs=4 --build-arg enable_objc=0 --build-arg enable_objcpp=0 . # - create and run a container, e.g. for stable: