From c181a0a7023489268b3189406239f92b87b84275 Mon Sep 17 00:00:00 2001
From: Stefan Strigler <stefan.strigler@emqx.io>
Date: Mon, 2 Oct 2023 14:50:13 +0200
Subject: [PATCH] fix: make dev script play nice with _checkouts

---
 dev | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/dev b/dev
index 9f2b9450e..ea5a444cc 100755
--- a/dev
+++ b/dev
@@ -206,6 +206,13 @@ prepare_erl_libs() {
             fi
         done
     fi
+    if [ -e "_build/${profile}/checkouts" ]; then
+        for app in "_build/${profile}/checkouts"/*; do
+            erl_libs="${erl_libs}${sep}${app}"
+        done
+    else
+        echo "no checkouts"
+    fi
     export ERL_LIBS="$erl_libs"
 }