2011-08-09 Pedro Alves <pedro@codesourcery.com>