diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/defconfig.mingw32 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/defconfig.mingw32 b/scripts/defconfig.mingw32 index b60e05b48..a02600c83 100644 --- a/scripts/defconfig.mingw32 +++ b/scripts/defconfig.mingw32 | |||
| @@ -850,9 +850,9 @@ 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 is not set |
| 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=y | 857 | CONFIG_PS=y |
| 858 | # CONFIG_FEATURE_PS_WIDE is not set | 858 | # CONFIG_FEATURE_PS_WIDE is not set |