diff options
| -rw-r--r-- | configs/mingw32_defconfig | 2 | ||||
| -rw-r--r-- | configs/mingw64_defconfig | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/configs/mingw32_defconfig b/configs/mingw32_defconfig index 265b184f9..c143d9f0c 100644 --- a/configs/mingw32_defconfig +++ b/configs/mingw32_defconfig | |||
| @@ -380,7 +380,7 @@ CONFIG_DEFAULT_SETFONT_DIR="" | |||
| 380 | # | 380 | # |
| 381 | # Debian Utilities | 381 | # Debian Utilities |
| 382 | # | 382 | # |
| 383 | # CONFIG_PIPE_PROGRESS is not set | 383 | CONFIG_PIPE_PROGRESS=y |
| 384 | # CONFIG_RUN_PARTS is not set | 384 | # CONFIG_RUN_PARTS is not set |
| 385 | # CONFIG_FEATURE_RUN_PARTS_LONG_OPTIONS is not set | 385 | # CONFIG_FEATURE_RUN_PARTS_LONG_OPTIONS is not set |
| 386 | # CONFIG_FEATURE_RUN_PARTS_FANCY is not set | 386 | # CONFIG_FEATURE_RUN_PARTS_FANCY is not set |
diff --git a/configs/mingw64_defconfig b/configs/mingw64_defconfig index aa355ae66..9427f7b5b 100644 --- a/configs/mingw64_defconfig +++ b/configs/mingw64_defconfig | |||
| @@ -380,7 +380,7 @@ CONFIG_DEFAULT_SETFONT_DIR="" | |||
| 380 | # | 380 | # |
| 381 | # Debian Utilities | 381 | # Debian Utilities |
| 382 | # | 382 | # |
| 383 | # CONFIG_PIPE_PROGRESS is not set | 383 | CONFIG_PIPE_PROGRESS=y |
| 384 | # CONFIG_RUN_PARTS is not set | 384 | # CONFIG_RUN_PARTS is not set |
| 385 | # CONFIG_FEATURE_RUN_PARTS_LONG_OPTIONS is not set | 385 | # CONFIG_FEATURE_RUN_PARTS_LONG_OPTIONS is not set |
| 386 | # CONFIG_FEATURE_RUN_PARTS_FANCY is not set | 386 | # CONFIG_FEATURE_RUN_PARTS_FANCY is not set |