steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

mason.common: increase timeout because Windows is damn slow

release
Slava Pestov 2010-04-02 14:14:25 -04:00
parent b740a1fe5d
commit 68073831f9
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
extra/mason/common/common.factor
View File

@ -17,8 +17,8 @@ SYMBOL: current-git-id
: short-running-process ( command -- )
#! Give network operations and shell commands at most
#! 15 minutes to complete, to catch hangs.
>process 15 minutes >>timeout try-output-process ;
#! 30 minutes to complete, to catch hangs.
>process 30 minutes >>timeout try-output-process ;
HOOK: really-delete-tree os ( path -- )