diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/defconfig.mingw32 | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/scripts/defconfig.mingw32 b/scripts/defconfig.mingw32 index 23ac8b067..1669380ac 100644 --- a/scripts/defconfig.mingw32 +++ b/scripts/defconfig.mingw32 | |||
| @@ -845,16 +845,16 @@ CONFIG_FEATURE_MIME_CHARSET="" | |||
| 845 | # CONFIG_SMEMCAP is not set | 845 | # CONFIG_SMEMCAP is not set |
| 846 | # CONFIG_FREE is not set | 846 | # CONFIG_FREE is not set |
| 847 | # CONFIG_FUSER is not set | 847 | # CONFIG_FUSER is not set |
| 848 | # CONFIG_KILL is not set | 848 | CONFIG_KILL=y |
| 849 | # CONFIG_KILLALL is not set | 849 | CONFIG_KILLALL=y |
| 850 | # CONFIG_KILLALL5 is not set | 850 | # CONFIG_KILLALL5 is not set |
| 851 | # CONFIG_NMETER is not set | 851 | # CONFIG_NMETER is not set |
| 852 | # CONFIG_PGREP is not set | 852 | CONFIG_PGREP=y |
| 853 | # CONFIG_PIDOF is not set | 853 | CONFIG_PIDOF=y |
| 854 | # CONFIG_FEATURE_PIDOF_SINGLE is not set | 854 | CONFIG_FEATURE_PIDOF_SINGLE=y |
| 855 | # CONFIG_FEATURE_PIDOF_OMIT is not set | 855 | CONFIG_FEATURE_PIDOF_OMIT=y |
| 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 |