Description of problem: It's counter=intuitive to do "Build->Library" when building REdBoot. Something should be done. Perhaps even to special case the RedBoot template and change the menu?
This bug has moved to http://bugs.ecos.sourceware.org/show_bug.cgi?id=85582