2011-02-14 Pedro Alves <pedro@codesourcery.com>