summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorLukas Larsson <lukas@erlang.org>2022-01-10 11:52:29 +0100
committerLukas Larsson <lukas@erlang.org>2022-01-10 11:52:29 +0100
commita45212734c761c02123c6442bd7826ba1f6f4aef (patch)
tree7f7d1837423541d05fc4f1feda3fc4cd614848ea /.github
parent95cb385493752fdb32e2c0ff3a07ec95259b6580 (diff)
parent33959fa295fc09af1acaabf34363ac57b3672a5c (diff)
downloaderlang-a45212734c761c02123c6442bd7826ba1f6f4aef.tar.gz
Merge branch 'maint'
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/main.yaml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 037ef6e253..e7a901842d 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -150,6 +150,7 @@ jobs:
export ERL_TOP=`pwd`
export MAKEFLAGS=-j4
export ERLC_USE_SERVER=true
+ export ERTS_SKIP_DEPEND=true
eval `./otp_build env_win32 x64`
./otp_build configure
if cat erts/CONF_INFO || cat lib/*/CONF_INFO || cat lib/*/SKIP || cat lib/SKIP-APPLICATIONS; then exit 1; fi