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. _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
