another fix to make it more resistant

[helm.git] / helm / software / matita / matitac.ml

diff --git a/helm/software/matita/matitac.ml b/helm/software/matita/matitac.ml
index 5d0ed9a3512528c8a45886606efd1131dd45677e..e1546caa737c610077502f35e74653545284f19a 100644 (file)
--- 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 ()