From 2d838bbc451b2e60a72ea5fa03815dca99fdfb41 Mon Sep 17 00:00:00 2001 From: wale soyinka Date: Thu, 17 Feb 2022 00:23:29 -0500 Subject: [PATCH] Update Makefile Change command from pull-if-doesnt-exist to the correct pull_if_doesnt_exist expected by util.py --- docker/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/Makefile b/docker/Makefile index 336dce7e3..4da9b0f8d 100644 --- a/docker/Makefile +++ b/docker/Makefile @@ -60,7 +60,7 @@ $(TOOL_BUILD_TARGETS): build-% : ./%/Dockerfile build_base_image run_base_image $(TOOL_EXPORT_TARGETS): tar/%.tar.gz : FORCE rm -f tar/$*.tar.gz && echo "Deleted existing tar/$*.tar.gz" mkdir -p tar - python3 ./utils.py pull-if-doesnt-exist --repository $(TOOL_REPOSITORY) --os $(OS_NAME) $* + python3 ./utils.py pull_if_doesnt_exist --repository $(TOOL_REPOSITORY) --os $(OS_NAME) $* id=$$(${ROOT} docker create $(TOOL_REPOSITORY):$(shell python3 ../dependencies/tool.py --docker-tag-for-os=$(OS_NAME) $*)) ; \ ${ROOT} docker cp $$id:/build.tar.gz tar/$*.tar.gz ; \ ${ROOT} docker rm -v $$id