HCoop
/
bpt
/
coccinelle.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Coccinelle release-1.0.0-rc11
[bpt/coccinelle.git]
/
commons
/
common.ml
diff --git
a/commons/common.ml
b/commons/common.ml
index
aa4d6e2
..
3ed8ba0
100644
(file)
--- a/
commons/common.ml
+++ b/
commons/common.ml
@@
-3371,9
+3371,13
@@
let cache_computation_robust2
if Sys.file_exists dependencies_cache &&
get_value dependencies_cache =*= dependencies
if Sys.file_exists dependencies_cache &&
get_value dependencies_cache =*= dependencies
- then get_value file_cache
+ then
+ (*begin
+ pr2 ("cache computation reuse " ^ file);*)
+ get_value file_cache
+ (*end*)
else begin
else begin
- pr2 ("cache computation recompute " ^ file);
+ (*pr2 ("cache computation recompute " ^ file);*)
let res = f () in
write_value dependencies dependencies_cache;
write_value res file_cache;
let res = f () in
write_value dependencies dependencies_cache;
write_value res file_cache;
@@
-3552,6
+3556,7
@@
let timeout_function timeoutval = fun f ->
with Timeout ->
begin
log "timeout (we abort)";
with Timeout ->
begin
log "timeout (we abort)";
+ (*pr2 (List.hd(cmd_to_list "free -m | grep Mem"));*)
raise Timeout;
end
| e ->
raise Timeout;
end
| e ->