From e463b81e16f341749dbcb6a489e03da1f67263af Mon Sep 17 00:00:00 2001
From: Gary Talent <gtalent2@gmail.com>
Date: Fri, 13 Apr 2018 19:24:45 -0500
Subject: [PATCH] [nostalgia] Rename make devenv to make devenv-create

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index fbb24b42..929496fa 100644
--- a/Makefile
+++ b/Makefile
@@ -43,7 +43,7 @@ gdb-studio: install
 
 devenv-image:
 	docker build . -t ${DEVENV_IMAGE}
-devenv:
+devenv-create:
 	docker run -d \
 		-e LOCAL_USER_ID=$(shell id -u ${USER}) \
 		-e DISPLAY=$(DISPLAY) \