From e6d625e1ebc7841450c70c7fbe3ceb2972b29784 Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Sun, 19 Jul 2020 08:49:42 -0600
Subject: [PATCH] Add 'make docker-nobuild' target

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 5ee1504..46715d1 100644
--- a/Makefile
+++ b/Makefile
@@ -17,7 +17,10 @@ image-prod: ## Build Docker image for production
 	scripts/docker.bash build . -f Dockerfile.prod -t riju:prod --build-arg "UID=$(UID)"
 
 .PHONY: docker
-docker: image-dev ## Run shell with source code and deps inside Docker
+docker: image-dev docker-nobuild ## Run shell with source code and deps inside Docker
+
+.PHONY: docker
+docker-nobuild: ## Same as 'make docker', but don't rebuild image
 	scripts/docker.bash run -it --rm -v "$(PWD):/home/docker/src" -p 6119:6119 -p 6120:6120 -h riju riju bash
 
 .PHONY: deploy