From 3d40262ad176a731e1e89650641afb6c77c2feae Mon Sep 17 00:00:00 2001 From: Jacques Wagener Date: Wed, 21 Aug 2019 15:42:25 +0200 Subject: [PATCH] Update docker command. --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 3f3b5a4..aa6f571 100644 --- a/Makefile +++ b/Makefile @@ -6,9 +6,12 @@ DOCKER_NLVM_C=$(DOCKER_NLVM) $(NLVM_PATH_PARAMS) c NLVM_WAMS32_FLAGS= --nlvm.target=wasm32 --gc:none -l:--no-entry -l:--allow-undefined -d:clang DOCKER_WASM32_C=$(DOCKER_NLVM) $(NLVM_PATH_PARAMS) $(NLVM_WAMS32_FLAGS) c +.PHONY: all +all: get-nlvm-docker tools examples + .PHONY: get-nlvm-docker get-nlvm-docker: - docker pull jacqueswww/nlvm + docker pull docker.io/jacqueswww/nlvm .PHONY: get-wabt get-wabt: