diff options
| author | Lukas Larsson <[email protected]> | 2018-04-10 10:17:30 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2018-04-10 10:17:30 +0200 |
| commit | 994a1229418c34846c1e2b5d08e72aa30ac5fa5f (patch) | |
| tree | c6569886fcaa63a8af02455c5ff5953c79e5d260 /configure.in | |
| parent | 4c29e451d8839fbfd3733444640a761c2c9b1f2a (diff) | |
| download | otp-994a1229418c34846c1e2b5d08e72aa30ac5fa5f.tar.gz otp-994a1229418c34846c1e2b5d08e72aa30ac5fa5f.tar.bz2 otp-994a1229418c34846c1e2b5d08e72aa30ac5fa5f.zip | |
erts: Flush messages before doing init restart
If messages are not flushed they would cause problems when
the system is booting. For instance module load requests
would be issued before the prim loader has been launched.
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions