diff options
-rw-r--r-- | debianutils/Config.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debianutils/Config.in b/debianutils/Config.in index abd453ab9..cab3ba74e 100644 --- a/debianutils/Config.in +++ b/debianutils/Config.in | |||
@@ -9,14 +9,14 @@ menu "Debian Utilities" | |||
9 | config MKTEMP | 9 | config MKTEMP |
10 | bool "mktemp" | 10 | bool "mktemp" |
11 | default n | 11 | default n |
12 | depends on PLATFORM_POSIX | 12 | depends on PLATFORM_POSIX || PLATFORM_MINGW32 |
13 | help | 13 | help |
14 | mktemp is used to create unique temporary files | 14 | mktemp is used to create unique temporary files |
15 | 15 | ||
16 | config PIPE_PROGRESS | 16 | config PIPE_PROGRESS |
17 | bool "pipe_progress" | 17 | bool "pipe_progress" |
18 | default n | 18 | default n |
19 | depends on PLATFORM_POSIX | 19 | depends on PLATFORM_POSIX || PLATFORM_MINGW32 |
20 | help | 20 | help |
21 | Display a dot to indicate pipe activity. | 21 | Display a dot to indicate pipe activity. |
22 | 22 | ||