From 4f3f6a742cb4c5aceb4de2243c956c291053ccd6 Mon Sep 17 00:00:00 2001
From: Gary Talent <gtalent2@gmail.com>
Date: Fri, 23 Dec 2016 21:41:37 -0600
Subject: [PATCH] Remove misleading devenv-shell from Makefile

---
 Makefile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Makefile b/Makefile
index 392cbc7b..bc536b0e 100644
--- a/Makefile
+++ b/Makefile
@@ -30,8 +30,6 @@ devenv:
 		--name ${DEVENV} -t wombatant/devenv bash
 devenv-destroy:
 	docker rm -f ${DEVENV}
-devenv-shell:
-	docker exec -i --user $(shell id -u ${USER}) ${DEVENV} ls /usr/bin/x86_64-w64-mingw32-g++
 
 release:
 	${ENV_RUN} rm -rf build/${HOST_ENV}-release