From 7db21d98cf733cb4127a52c920207ebd49470c50 Mon Sep 17 00:00:00 2001 From: Lukas Larsson Date: Mon, 4 Nov 2019 15:31:35 +0100 Subject: otp: Fix make noboot Makefile target --- Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile.in') 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 -- cgit v1.2.1