cc:linaro-toolchain@lists.linaro.org,cc:bruno@clisp.org,bcc:tcwg-validation@linaro.org,collin.funk1@gmail.com,Paul.Zimmermann@inria.fr,adhemerval.zanella@linaro.org