[nostalgia] Rename make devenv to make devenv-create

2018-04-13 19:24:45 -05:00
parent 7fe47a237d
commit e463b81e16
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -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) \