From 5d391e038854783e609f34146bee94dd6b6bd3e6 Mon Sep 17 00:00:00 2001 From: Andress Barajas Date: Mon, 2 Dec 2024 07:22:53 -0800 Subject: [PATCH] Change build arg --- utils/dc-chain/docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: