diff options
author | Lukas Larsson <lukas@erlang.org> | 2022-01-10 11:52:29 +0100 |
---|---|---|
committer | Lukas Larsson <lukas@erlang.org> | 2022-01-10 11:52:29 +0100 |
commit | a45212734c761c02123c6442bd7826ba1f6f4aef (patch) | |
tree | 7f7d1837423541d05fc4f1feda3fc4cd614848ea /.github | |
parent | 95cb385493752fdb32e2c0ff3a07ec95259b6580 (diff) | |
parent | 33959fa295fc09af1acaabf34363ac57b3672a5c (diff) | |
download | erlang-a45212734c761c02123c6442bd7826ba1f6f4aef.tar.gz |
Merge branch 'maint'
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/main.yaml | 1 |
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 |