diff options
| author | Dima Zavin <dima@android.com> | 2011-08-23 15:56:50 -0700 |
|---|---|---|
| committer | Dima Zavin <dima@android.com> | 2011-08-23 16:10:22 -0700 |
| commit | 76594495616ae4080423f77cbbe1572d954edb29 (patch) | |
| tree | af850819c338d6d5fd3dd34a60c101702b38053f /scripts/gcc-wrapper.py | |
| parent | cd1313b42474ea742981fc2f7d1a1a30f3e53e29 (diff) | |
ARM: add option to flush console before reboot
If the console_lock was held while the system was rebooted, the messages
in the temporary logbuffer would not have propogated to all the console
drivers.
This force releases the console lock if it failed to be acquired.
Change-Id: I193dcf7b968be17966833e50b8b8bc70d5d9fe89
Signed-off-by: Dima Zavin <dima@android.com>
Diffstat (limited to 'scripts/gcc-wrapper.py')
0 files changed, 0 insertions, 0 deletions