diff options
author | Lukas Larsson <lukas@erlang.org> | 2019-11-04 15:31:35 +0100 |
---|---|---|
committer | Lukas Larsson <lukas@erlang.org> | 2019-11-14 15:44:59 +0100 |
commit | 7db21d98cf733cb4127a52c920207ebd49470c50 (patch) | |
tree | e091c9e9b224bf56a27f65bc4d3af40c715b482f /Makefile.in | |
parent | a6724237645354f5869f6d89f419e0c4eb3548bf (diff) | |
download | erlang-7db21d98cf733cb4127a52c920207ebd49470c50.tar.gz |
otp: Fix make noboot Makefile target
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 9c09ef18ed..622f5a4a01 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 |