From 9b3c50b68f346faee9f4eefdcf889236cc3cfabd Mon Sep 17 00:00:00 2001
From: Sarah Vaupel <sarah.vaupel@protonmail.com>
Date: Wed, 17 Jan 2024 12:20:02 +0100
Subject: [PATCH] chore(Makefile): allow for non-develop .develop.env for ci

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

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