ubi_tools: add workaround for bad kernel headers. Closes 4838
authorDenys Vlasenko <vda.linux@googlemail.com>
Sun, 11 Mar 2012 17:04:14 +0000 (18:04 +0100)
committerDenys Vlasenko <vda.linux@googlemail.com>
Sun, 11 Mar 2012 17:04:14 +0000 (18:04 +0100)
commit7fe1e3f1612f6eb220d6a9796edacf24b7706876
tree2fe34459cdd8075b23596fda7a6b9dc8c0d59bbf
parent65457625a7a6c8939e46d01a4cda566d82ed5343
ubi_tools: add workaround for bad kernel headers. Closes 4838

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
miscutils/ubi_tools.c