On 27/05/14 16:17, Justin Cormack wrote: >> Yea, maybe it should be -F DBG now. >> >> However, I'd like -DDD to remain, for the Chaos Strikes Back reference. >> Plus, it's nice to be able to say "as much debug as you can give me" >> without having to crawl through documentations for a selection of flags >> and variables. > > That should be fine, will just make sure you can't specify -F DBG and > -D together.
I'm not too worried if you specify them together, so long as whatever you gave in -F DBG overrides whatever -D thinks is the way to go (i.e. like BUILDRUMP_DBG works now). In other news, I removed the -march=armv6k bit and documented it here: http://wiki.rumpkernel.org/Info%3A-Notes-on-hardware-platforms#raspberry-pi I guess that page will fill up with mips and arm and powerpc notes. ------------------------------------------------------------------------------ Time is money. Stop wasting it! Get your web API in 5 minutes. www.restlet.com/download http://p.sf.net/sfu/restlet _______________________________________________ rumpkernel-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/rumpkernel-users
