From a4c8b234ff197b151df541cf45cdc1e42b9c7e19 Mon Sep 17 00:00:00 2001
From: Andrei Serdeliuc <andrei@apikot.com>
Date: Wed, 18 Dec 2019 17:03:27 +0100
Subject: [PATCH] makefile: docker command overridable

make the docker command overridable so that, for example, `-it` can be removed
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1f5f66b..8d2fe17 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ TARGET ?=/opt/
 MOUNTS = -v $(PROJECT_ROOT):/var/task \
 	-v $(PROJECT_ROOT)result:$(TARGET)
 
-DOCKER = docker run -it --rm -w=/var/task/build
+DOCKER ?= docker run -it --rm -w=/var/task/build
 build result: 
 	mkdir $@