diff --git a/Makefile b/Makefile
index c41911963..c43d3bcdc 100644
--- a/Makefile
+++ b/Makefile
@@ -95,8 +95,9 @@ clean:
 	[ -e $@ ] || touch $@
 	flock -en $@ true
 
+.PHONY: .develop.env
 .develop.env:
-	(in-develop | grep -q 'In develop') || (echo "Not in develop!" 2>&1; exit 1)
+	[ ! -z $(CI) || ! -z "$$PORT_OFFSET" ] || ( echo "Not in develop!" 2>&1 ; exit 1 )
 
 .PHONY: --stack-work-%
 --stack-work-%: .stack-work.lock