diff options
author | Björn Gustavsson <bjorn@erlang.org> | 2019-08-28 12:51:41 +0200 |
---|---|---|
committer | Björn Gustavsson <bjorn@erlang.org> | 2019-08-28 12:51:41 +0200 |
commit | 5583fa743b1f73763a54808523808fa0b236994b (patch) | |
tree | 5b9c1eb4e930a5fd6e411c0b14a3870077c81952 /scripts | |
parent | 78f057f2e2855e51338b866a2cf482f9cb315043 (diff) | |
parent | b1f5a4914b46899a43dc50e36da1b1d16cc191c0 (diff) | |
download | erlang-5583fa743b1f73763a54808523808fa0b236994b.tar.gz |
Merge branch 'maint'
* maint:
scripts/build-otp: Enable compile server for Travis/Jenkins builds
Don't use the compile server for PGO
Teach erlc to use the compile server
Update primary bootstrap
Add erl_compiler_server
Refactor the erl_compile module
Clarify that digraphs are implemented using ETS tables
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/build-otp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/build-otp b/scripts/build-otp index 55023ba7d8..afab1f9136 100755 --- a/scripts/build-otp +++ b/scripts/build-otp @@ -42,6 +42,7 @@ if [ ! -d "logs" ]; then mkdir logs fi +export ERLC_USE_SERVER=yes do_and_log "Autoconfing" ./otp_build autoconf do_and_log "Configuring" ./otp_build configure echo Configure result: |