BTW, GDB is now included in the build scripts (thanks Xiangfu!): https://github.com/milkymist/scripts/commit/502c706bf029d88d4ed68446169f34603e29e730
_______________________________________________ http://lists.milkymist.org/listinfo.cgi/devel-milkymist.org IRC: #milkymist@Freenode Twitter: www.twitter.com/milkymistvj Ideas? http://milkymist.uservoice.com
