See r37176. Let's keep this a Windows only "feature".

[features.git] / src / support / os_unix.cpp

diff --git a/src/support/os_unix.cpp b/src/support/os_unix.cpp
index 20a6316fde0519734ca5a15474722213445ca36a..8727cff2b7412645559e2307098159c8fd14a45f 100644 (file)
--- a/src/support/os_unix.cpp
+++ b/src/support/os_unix.cpp
@@ -212,6 +212,12 @@ shell_type shell()
 }
 
 
+int timeout_min()
+{
+       return 3;
+}
+
+
 char path_separator()
 {
        return ':';