tree d53997ec203983daf78c12ce326cf87f78c98253
parent ac2726ccf2f44cb09eee398547d590992611ce7a
author David 'Digit' Turner <digit@google.com> 1399979982 +0200
committer David 'Digit' Turner <digit@google.com> 1405690304 +0200

Implement error_abort (from upstream).

Change-Id: Id0f4affa23f60def3a221cb3643c5038cca265ad