Hi Roberto, I've added a small fix to the repo that lets the build infrastructure use gcc for all the external support stuff (e.g., dietlibc) as well. Can you please update your HG repo and tell me whether compiling dietlibc works now?
Thanks, -Jan -- Jan Stoess KIT/UKa System Architecture Group Phone: +49 (721) 608-4056 Fax: +49 (721) 608-7664 eMail: sto...@kit.edu