From da410b7f39105aefcdba16a64bf5a338cb16ee1d Mon Sep 17 00:00:00 2001
From: Gary Talent <gtalent2@gmail.com>
Date: Mon, 10 Apr 2017 17:09:47 -0500
Subject: [PATCH] Add shell command to Makefile

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

diff --git a/Makefile b/Makefile
index 26fc78cd7..d74c9481d 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@ HOST_ENV=${OS}-$(shell uname -m)
 DEVENV=devenv$(shell pwd | sed 's/\//-/g')
 DEVENV_IMAGE=wombatant/devenv
 ifeq ($(shell docker inspect --format="{{.State.Status}}" ${DEVENV} 2>&1),running)
-	ENV_RUN=docker exec --user $(shell id -u ${USER}) ${DEVENV}
+	ENV_RUN=docker exec -i -t --user $(shell id -u ${USER}) ${DEVENV}
 endif
 
 make:
@@ -31,6 +31,9 @@ devenv:
 devenv-destroy:
 	docker rm -f ${DEVENV}
 
+shell:
+	${ENV_RUN} bash
+
 release:
 	${ENV_RUN} rm -rf build/${HOST_ENV}-release
 	${ENV_RUN} ./scripts/setup_build ${HOST_ENV}