diff options
Diffstat (limited to 'console-tools/dumpkmap.c')
| -rw-r--r-- | console-tools/dumpkmap.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/console-tools/dumpkmap.c b/console-tools/dumpkmap.c index f1c9287b5..fd4fd5623 100644 --- a/console-tools/dumpkmap.c +++ b/console-tools/dumpkmap.c | |||
| @@ -7,7 +7,7 @@ | |||
| 7 | * Licensed under GPLv2 or later, see file LICENSE in this source tree. | 7 | * Licensed under GPLv2 or later, see file LICENSE in this source tree. |
| 8 | */ | 8 | */ |
| 9 | //config:config DUMPKMAP | 9 | //config:config DUMPKMAP |
| 10 | //config: bool "dumpkmap (1.3 kb)" | 10 | //config: bool "dumpkmap (1.6 kb)" |
| 11 | //config: default y | 11 | //config: default y |
| 12 | //config: select PLATFORM_LINUX | 12 | //config: select PLATFORM_LINUX |
| 13 | //config: help | 13 | //config: help |