2011-06-22 Pedro Alves <pedro@codesourcery.com>