diff options
| author | Dan Gudmundsson <[email protected]> | 2018-01-05 16:41:10 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2018-01-11 14:53:16 +0100 |
| commit | d15f455ba9fd705f02d8e8fdf718465c4a699be1 (patch) | |
| tree | 110c6732e68a62e503284fc6c198152b9cefc7f1 /make/run_make.mk | |
| parent | 4cd303540533ec8b7d51b6079fbbf880c179a14f (diff) | |
| download | otp-d15f455ba9fd705f02d8e8fdf718465c4a699be1.tar.gz otp-d15f455ba9fd705f02d8e8fdf718465c4a699be1.tar.bz2 otp-d15f455ba9fd705f02d8e8fdf718465c4a699be1.zip | |
observer: Don't crash for late messages
Diffstat (limited to 'make/run_make.mk')
0 files changed, 0 insertions, 0 deletions