diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/defconfig.mingw32 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/defconfig.mingw32 b/scripts/defconfig.mingw32 index d30730841..23ac8b067 100644 --- a/scripts/defconfig.mingw32 +++ b/scripts/defconfig.mingw32 | |||
| @@ -672,7 +672,7 @@ CONFIG_FEATURE_LESS_MAXLINES=0 | |||
| 672 | # CONFIG_RUNLEVEL is not set | 672 | # CONFIG_RUNLEVEL is not set |
| 673 | # CONFIG_RX is not set | 673 | # CONFIG_RX is not set |
| 674 | # CONFIG_SETSID is not set | 674 | # CONFIG_SETSID is not set |
| 675 | # CONFIG_STRINGS is not set | 675 | CONFIG_STRINGS=y |
| 676 | # CONFIG_TASKSET is not set | 676 | # CONFIG_TASKSET is not set |
| 677 | # CONFIG_FEATURE_TASKSET_FANCY is not set | 677 | # CONFIG_FEATURE_TASKSET_FANCY is not set |
| 678 | # CONFIG_TIME is not set | 678 | # CONFIG_TIME is not set |