diff options
Diffstat (limited to 'scripts/defconfig.mingw32')
| -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 943c3f4ab..7f5cbc574 100644 --- a/scripts/defconfig.mingw32 +++ b/scripts/defconfig.mingw32 | |||
| @@ -854,7 +854,7 @@ CONFIG_FEATURE_MIME_CHARSET="" | |||
| 854 | # CONFIG_FEATURE_PIDOF_SINGLE is not set | 854 | # CONFIG_FEATURE_PIDOF_SINGLE is not set |
| 855 | # CONFIG_FEATURE_PIDOF_OMIT is not set | 855 | # CONFIG_FEATURE_PIDOF_OMIT is not set |
| 856 | # CONFIG_PKILL is not set | 856 | # CONFIG_PKILL is not set |
| 857 | # CONFIG_PS is not set | 857 | CONFIG_PS=y |
| 858 | # CONFIG_FEATURE_PS_WIDE is not set | 858 | # CONFIG_FEATURE_PS_WIDE is not set |
| 859 | # CONFIG_FEATURE_PS_TIME is not set | 859 | # CONFIG_FEATURE_PS_TIME is not set |
| 860 | # CONFIG_FEATURE_PS_ADDITIONAL_COLUMNS is not set | 860 | # CONFIG_FEATURE_PS_ADDITIONAL_COLUMNS is not set |