diff --git a/Makefile b/Makefile
--- a/Makefile
+++ b/Makefile
@@ -133,7 +133,8 @@ dev-env:
 .PHONY: sh
 ## shortcut for make dev-sh dev-env
 sh:
-	(make dev-env; make dev-sh)
+	make dev-env
+	make dev-sh
 
 
 .PHONY: dev-srv