From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 11 Jan 2008 10:24:53 +0000 (+0000)
Subject: added Sys.catch_break true
X-Git-Tag: make_still_working~5689
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f583b4389d0227ff0da1954af484db7ef1f5fbfc;p=helm.git

added Sys.catch_break true
---

diff --git a/helm/software/matita/matitac.ml b/helm/software/matita/matitac.ml
index 5d0ed9a35..e1546caa7 100644
--- a/helm/software/matita/matitac.ml
+++ b/helm/software/matita/matitac.ml
@@ -61,6 +61,7 @@ let main_compiler () =
 ;;
 
 let main () =
+  Sys.catch_break true;
   let bin = Filename.basename Sys.argv.(0) in
   if      Pcre.pmatch ~pat:"^matitadep"    bin then Matitadep.main ()
   else if Pcre.pmatch ~pat:"^matitaclean"  bin then Matitaclean.main ()