2012-12-05 Pedro Alves <pedro@codesourcery.com>