From 2b9034dc05665311a9419ffa5e3afd69aeb13f3a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 2 Jul 2008 12:50:18 +0000 Subject: [PATCH] return 1 in case of failure --- helm/software/matita/matitac.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/helm/software/matita/matitac.ml b/helm/software/matita/matitac.ml index a2e5b0f33..83ab74439 100644 --- a/helm/software/matita/matitac.ml +++ b/helm/software/matita/matitac.ml @@ -58,9 +58,9 @@ let main_compiler () = (* here we go *) if not (Helm_registry.get_bool "matita.verbose") then MatitaMisc.shutup (); if MatitacLib.Make.make root target then - HLog.message "Compilation successful" + (HLog.message "Compilation successful"; 0) else - HLog.message "Compilation failed" + (HLog.message "Compilation failed"; 1) ;; let main () = @@ -69,7 +69,7 @@ let main () = if Pcre.pmatch ~pat:"^matitadep" bin then Matitadep.main () else if Pcre.pmatch ~pat:"^matitaclean" bin then Matitaclean.main () else if Pcre.pmatch ~pat:"^matitawiki" bin then MatitaWiki.main () - else main_compiler () + else exit (main_compiler ()) ;; let _ = main () -- 2.39.2