From ee5f6f5f28cf3041c1324b66645fc34dbd35cb64 Mon Sep 17 00:00:00 2001
From: phani <phanikishoreg@gwu.edu>
Date: Fri, 6 Dec 2019 15:04:34 -0500
Subject: [PATCH] fix in devenv.sh

---
 devenv.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devenv.sh b/devenv.sh
index 891e604..c891f79 100755
--- a/devenv.sh
+++ b/devenv.sh
@@ -78,7 +78,7 @@ envsetup()
 envrun()
 {
 	if ! docker image inspect ${SYS_DOC_NAMETAG} > /dev/null; then
-		envbuild
+		envsetup
 	fi
 
 	if docker ps -f name=${SYS_DOC_NAME} --format '{{.Names}}' | grep -q "^${SYS_DOC_NAME}" ; then