| commit | b097a84d62dcfcf201a695b54bcfafae70cac8a6 | [log] [tgz] |
|---|---|---|
| author | Denys Vlasenko <vda.linux@googlemail.com> | Fri Dec 28 03:20:17 2018 +0100 |
| committer | Denys Vlasenko <vda.linux@googlemail.com> | Fri Dec 28 03:20:17 2018 +0100 |
| tree | c3b559a0fd4c430a92c7e1df3d6a776c894de3f0 | |
| parent | 10bde14292b3f0abbbf56aaaec16f391f12c0e64 [diff] [blame] |
config: update size information Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
diff --git a/console-tools/dumpkmap.c b/console-tools/dumpkmap.c index f1c9287..fd4fd56 100644 --- a/console-tools/dumpkmap.c +++ b/console-tools/dumpkmap.c
@@ -7,7 +7,7 @@ * Licensed under GPLv2 or later, see file LICENSE in this source tree. */ //config:config DUMPKMAP -//config: bool "dumpkmap (1.3 kb)" +//config: bool "dumpkmap (1.6 kb)" //config: default y //config: select PLATFORM_LINUX //config: help