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