#
# Forcefully disable debug symbols
#

# CONFIG_DEBUG_INFO is not set