Makes userspace debuginfo configurable
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 19 Apr 2010 00:15:55 +0000 (17:15 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:43 +0000 (17:35 -0700)
commit4b79b247aa5257e36f8138d4a289eb20cc0714a8
tree41f86b8828a403bc84ad01e93f81c4eb4720bf4d
parentf35c3ed435fd4d17900633350e6589c0592b5d0f
Makes userspace debuginfo configurable

Glibc will continue to be built with -g, but if the CONFIG_USERDEBUG
flag isn't set, the make process won't compile user/ and tests/ with -g
and will strip the debuginfo from the binaries, which decreases the size
of the programs (and the kernel when using KFS).

Also, this fixes a bug where the USER_CFLAGS were getting clobbered.
GNUmakefile
Makeconfig
Makelocal.template
kern/src/Makefrag
user/Makefrag