From ced90b21a408379423351716e2fa688c47f6faea Mon Sep 17 00:00:00 2001
From: Nick Neisen <nwneisen@gmail.com>
Date: Tue, 19 Nov 2019 09:21:13 -0700
Subject: [PATCH] Add dev_ back to make dockers_dev (#955)

Signed-off-by: Nick Neisen <nwneisen@gmail.com>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3adc262a..7d42ebb3 100644
--- a/Makefile
+++ b/Makefile
@@ -26,7 +26,7 @@ define make_docker
 endef
 
 define make_docker_dev
-	$(eval svc=$(subst docker_,,$(1)))
+	$(eval svc=$(subst docker_dev_,,$(1)))
 
 	docker build \
 		--no-cache \