From dbfbb03ce3c69cff744aa95385847a62c596ccf1 Mon Sep 17 00:00:00 2001
From: Steffen Jost <jost@tcs.ifi.lmu.de>
Date: Fri, 18 Mar 2022 15:09:28 +0100
Subject: [PATCH] chore(buildenv): db.sh and start.sh check in-develop first

---
 db.sh    | 5 +++++
 start.sh | 5 +++++
 2 files changed, 10 insertions(+)

diff --git a/db.sh b/db.sh
index afb0e1720..a585ee1f6 100755
--- a/db.sh
+++ b/db.sh
@@ -5,6 +5,11 @@ set -e
 
 [ "${FLOCKER}" != "$0" ] && exec env FLOCKER="$0" flock -en .stack-work.lock "$0" "$@" || :
 
+if ! in-develop | grep -q 'In develop'; then
+    printf "Not in develop"
+    exit 1
+fi    
+
 stack build --fast --flag uniworx:-library-only --flag uniworx:dev
 
 export SERVER_SESSION_ACID_FALLBACK=${SERVER_SESSION_ACID_FALLBACK:-true}
diff --git a/start.sh b/start.sh
index 82015828e..9eea5843b 100755
--- a/start.sh
+++ b/start.sh
@@ -4,6 +4,11 @@ set -e
 
 [ "${FLOCKER}" != "$0" ] && exec env FLOCKER="$0" flock -en .stack-work.lock "$0" "$@" || :
 
+if ! in-develop | grep -q 'In develop'; then
+    printf "Not in develop"
+    exit 1
+fi   
+
 __HOST=${HOST:-$(hostname -s | awk '{ print $0; }')}
 
 export DETAILED_LOGGING=${DETAILED_LOGGING:-true}