From bdb8205455a31362fc72075583aedd63ff0c944b Mon Sep 17 00:00:00 2001 From: Chris Metcalf Date: Mon, 12 Aug 2013 15:09:18 -0400 Subject: [PATCH] tile: remove DEBUG_EXTRA_FLAGS kernel config option It isn't used any more by us now that the generic kernel build offers DEBUG_INFO_REDUCED, so just get rid of it. Signed-off-by: Chris Metcalf --- Reading git-format-patch failed