diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Makefile.in b/Makefile.in index 30aab6add1..ac2015f8e4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -357,13 +357,9 @@ all_bootstraps: emulator \ # binaries in your PATH instead of those created from the # pre-compiled Erlang modules under bootstrap/. # -ifeq ($(findstring ose,$(TARGET)),ose) -noboot: - $(MAKE) BOOT_PREFIX= emulator libs -else noboot: $(MAKE) BOOT_PREFIX= emulator libs local_setup -endif + noboot_install: $(MAKE) BOOT_PREFIX= install |