diff options
author | Lukas Larsson <lukas@erlang.org> | 2021-10-07 11:22:42 +0200 |
---|---|---|
committer | Lukas Larsson <lukas@erlang.org> | 2021-10-07 11:22:42 +0200 |
commit | 25377d8122458c28d3af7d034b789a045e1aaaa2 (patch) | |
tree | 4c643bcc2a8de37e4f2fd16c0de925fc2ace1abf | |
parent | d498586ce33424f667d1dfa1a68455ce219c070f (diff) | |
parent | e8d30d1a87db03144fa6f7c76b84d2928b6737b6 (diff) | |
download | erlang-25377d8122458c28d3af7d034b789a045e1aaaa2.tar.gz |
Merge branch 'maint'
-rw-r--r-- | .github/workflows/main.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index 38a9f61c7b..2b1169f45b 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -111,6 +111,8 @@ jobs: tar -xzf ./otp_src.tar.gz cd otp export ERL_TOP=`pwd` + export MAKEFLAGS=-j4 + export ERLC_USE_SERVER=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 |