Module Name:	src
Committed By:	scw
Date:		Mon Jun 20 08:42:52 UTC 2005

Modified Files:
	src/sys/arch/arm/conf: Makefile.arm

Log Message:
Use objcopy (as suggested by Richard Earnshaw) to strip ARM mapping symbols
from the kernel image, as they interfere with ddb. But only do this if
'makeoptions DEBUG="-g"' was not specified, in case they're needed by gdb.


To generate a diff of this commit:
cvs rdiff -r1.24 -r1.25 src/sys/arch/arm/conf/Makefile.arm

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.