diff options
author | Lukas Larsson <[email protected]> | 2017-09-11 14:45:04 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2017-09-11 14:45:04 +0200 |
commit | c15bb1698267ae64aac08b3b48040c44174700e5 (patch) | |
tree | cba3ff4bdbde104d912200014384f2599aa9f094 /erts/Makefile | |
parent | 87b57377864d3161a79c65e32844d7539d1a9264 (diff) | |
parent | a9812e6307fe335d077f96d3a6342cbd4894ed0b (diff) | |
download | otp-c15bb1698267ae64aac08b3b48040c44174700e5.tar.gz otp-c15bb1698267ae64aac08b3b48040c44174700e5.tar.bz2 otp-c15bb1698267ae64aac08b3b48040c44174700e5.zip |
Merge branch 'lukas/erts/pgo/OTP-14604'
* lukas/erts/pgo/OTP-14604:
Add support for building a pgo beam_emu
Diffstat (limited to 'erts/Makefile')
-rw-r--r-- | erts/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/erts/Makefile b/erts/Makefile index 73d8560c1e..0393ccc759 100644 --- a/erts/Makefile +++ b/erts/Makefile @@ -49,11 +49,6 @@ debug opt lcnt clean: done (cd preloaded/src && $(MAKE) ../ebin/erts.app) -# ---------------------------------------------------------------------- -# These are "convenience targets", provided as shortcuts for developers -# - don't use them in scripts or assume they will always stay like this! -# - .PHONY: smp smp: $(V_at)for type in $(TYPES); do \ @@ -112,6 +107,11 @@ local_setup: $(ERL_TOP)/bin/start_clean.script \ $(ERL_TOP)/bin/no_dot_erlang.script +# ---------------------------------------------------------------------- +# These are "convenience targets", provided as shortcuts for developers +# - don't use them in scripts or assume they will always stay like this! +# + # Run the configure script .PHONY: configure configure: |