diff --git a/Makefile b/Makefile index dc943fe..38cc82e 100644 --- a/Makefile +++ b/Makefile @@ -54,7 +54,6 @@ PORT ?= 9022 NETWORK ?= bridge CONTROLLER_HOST ?= $(shell dig +short $$HOSTNAME) CONTROLLER_PORT_SSH ?= 8022 -ASYNC=true run: $(DATA) docker run -d --rm \ -p $(PORT):22 \ @@ -67,7 +66,6 @@ run: $(DATA) --mount type=bind,source=$(PRIVATE),target=/id_rsa \ -e UID=$(UID) -e GID=$(GID) -e UMASK=$(UMASK) \ -e CONTROLLER=$(CONTROLLER_HOST):$(CONTROLLER_PORT_SSH) \ - -e ASYNC=false \ $(TAGNAME) $(DATA)/testdata-production: @@ -113,8 +111,6 @@ else endif diff -u <(docker run --rm -v $(DATA):/data $(TAGNAME) ocrd workspace -d $(