On 2015-02-09 10:11 +0100, Sebastian Huber wrote: > > It is not important to have this on all the time. Its more for people > who regularly install new tool chains, so not the standard RTEMS user. A > waf config time option would be nice. OK I will add it as a configure switch. Amar.