2011-07-25 Pedro Alves <pedro@codesourcery.com>