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
-  then get_value file_cache
+  then
+    (*begin
+    pr2 ("cache computation reuse " ^ file);*)
+    get_value file_cache
+    (*end*)
   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;
@@ -3552,6 +3556,7 @@ let timeout_function timeoutval = fun f ->
   with Timeout ->
     begin
       log "timeout (we abort)";
+      (*pr2 (List.hd(cmd_to_list "free -m | grep Mem"));*)
       raise Timeout;
     end
   | e ->