summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLukas Larsson <lukas@erlang.org>2021-10-07 11:22:42 +0200
committerLukas Larsson <lukas@erlang.org>2021-10-07 11:22:42 +0200
commit25377d8122458c28d3af7d034b789a045e1aaaa2 (patch)
tree4c643bcc2a8de37e4f2fd16c0de925fc2ace1abf
parentd498586ce33424f667d1dfa1a68455ce219c070f (diff)
parente8d30d1a87db03144fa6f7c76b84d2928b6737b6 (diff)
downloaderlang-25377d8122458c28d3af7d034b789a045e1aaaa2.tar.gz
Merge branch 'maint'
-rw-r--r--.github/workflows/main.yaml2
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