diff options
| author | Rickard Green <[email protected]> | 2013-05-16 17:55:39 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2013-05-16 17:55:39 +0200 |
| commit | 92092987b6470969f9ddc1dba8fdf49e7f8724fc (patch) | |
| tree | eb0befb3545266d1c2434b89ef6e40295476da2a /make/run_make.mk | |
| parent | bbb2760fa436ae7e7b7d003252e83a24e4f6cb8a (diff) | |
| parent | 1932b1f4a9f4a8d083f9047b3ba1637dfea1c6d9 (diff) | |
| download | otp-92092987b6470969f9ddc1dba8fdf49e7f8724fc.tar.gz otp-92092987b6470969f9ddc1dba8fdf49e7f8724fc.tar.bz2 otp-92092987b6470969f9ddc1dba8fdf49e7f8724fc.zip | |
Merge branch 'maint'
* maint:
Only verify not busy for erlang:send(Port, Msg, [nosuspend]) until scheduled
Make high_msgq_watermark and low_msgq_watermark generic inet options
Do not treat port_set_data/port_get_data as signals
Add 'frmptr' emulator type
Conflicts:
erts/preloaded/ebin/erlang.beam
erts/preloaded/ebin/erts_internal.beam
erts/preloaded/ebin/prim_inet.beam
Diffstat (limited to 'make/run_make.mk')
| -rw-r--r-- | make/run_make.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/run_make.mk b/make/run_make.mk index 1b4213107f..bb0da6743c 100644 --- a/make/run_make.mk +++ b/make/run_make.mk @@ -30,7 +30,7 @@ include $(ERL_TOP)/make/target.mk .PHONY: valgrind -opt debug purify quantify purecov valgrind gcov gprof lcnt: +opt debug purify quantify purecov valgrind gcov gprof lcnt frmptr: $(make_verbose)$(MAKE) -f $(TARGET)/Makefile TYPE=$@ plain smp frag smp_frag: |