fix: make dev script play nice with _checkouts

2023-10-02 14:50:13 +02:00 · 2023-10-02 14:50:13 +02:00 · c181a0a702
parent ca8da5723a
commit c181a0a702
1 changed files with 7 additions and 0 deletions
--- a/7
+++ b/7
@ -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"
 }