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

[features.git] / src / support / os.h

diff --git a/src/support/os.h b/src/support/os.h
index 38517d8bda33d830afe94b20f67c08820dfb5ca4..8d1744bf7e6ee7a3d38bf9963edce61f2bbdbf7f 100644 (file)
--- a/src/support/os.h
+++ b/src/support/os.h
@@ -55,6 +55,9 @@ std::string current_root();
 ///
 shell_type shell();
 
+/// Returns no. of minutes allowed for a command to complete.
+int timeout_min();
+
 /// Name of the python interpreter
 std::string const python();