2009-08-17 Pedro Alves <pedro@codesourcery.com>>