diff options
author | Lukas Larsson <lukas@erlang.org> | 2019-11-14 15:45:22 +0100 |
---|---|---|
committer | Lukas Larsson <lukas@erlang.org> | 2019-11-14 15:45:22 +0100 |
commit | 38cef29384ad9ae9d2ca59cd9aeed7550a002216 (patch) | |
tree | 484c01cbbd6b262a735469710f1d38b2a799d193 /Makefile.in | |
parent | 80f6f9ec204ba48b7ae866b8a4afdd5e7a4cd47c (diff) | |
parent | 1fcf6ee4e90067e1cf481ba65be4dc701e85fcf9 (diff) | |
download | erlang-38cef29384ad9ae9d2ca59cd9aeed7550a002216.tar.gz |
Merge branch 'maint'
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 51bb48825b..931832c6c9 100644 --- a/Makefile.in +++ b/Makefile.in @@ -399,10 +399,10 @@ build_erl_interface: # pre-compiled Erlang modules under bootstrap/. # noboot: - $(MAKE) BOOT_PREFIX= emulator libs local_setup + $(MAKE) USE_PGO=false BOOT_PREFIX= build_erl_interface emulator libs local_setup noboot_install: - $(MAKE) BOOT_PREFIX= install + $(MAKE) USE_PGO=false BOOT_PREFIX= install .PHONY: release release_docs |