X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitamakeLib.ml;h=48d6696281248cda435447c4f59a55e38936668c;hb=afde811cd8ac8fdfebf169dfb1196493e42bbba1;hp=d95bfdbad0a39f22b43460a6372aa6b51ee4b649;hpb=efdb0db81ef2594a2aced0310997ef0d74462254;p=helm.git

diff --git a/helm/matita/matitamakeLib.ml b/helm/matita/matitamakeLib.ml
index d95bfdbad..48d669628 100644
--- a/helm/matita/matitamakeLib.ml
+++ b/helm/matita/matitamakeLib.ml
@@ -213,7 +213,6 @@ let mk_maker refresh_cb =
     try 
       let argv = Array.of_list ("make"::args) in
       pid := Unix.create_process "make" argv Unix.stdin out_w err_w;
-let ch = open_out "/tmp/pippo" in output_string ch (String.concat " " ("make"::(Array.to_list argv)) ^ "\n"); flush ch; close_out ch;
       Unix.close out_w;
       Unix.close err_w;
       let buf = String.create 1024 in