From d992a2d4a647b6d3f96289c2763af258277ac3eb Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 25 Nov 2009 08:38:12 -0500 Subject: Exit code of 1 on compilation failure --- src/compiler.sml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/compiler.sml') diff --git a/src/compiler.sml b/src/compiler.sml index 6fd107a7..c4000e84 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -928,16 +928,16 @@ fun compileC {cname, oname, ename, libs, profile, debug, link = link'} = val link = foldl (fn (s, link) => link ^ " " ^ s) link link' in if not (OS.Process.isSuccess (OS.Process.system compile)) then - print "C compilation failed\n" + OS.Process.exit OS.Process.failure else if not (OS.Process.isSuccess (OS.Process.system link)) then - print "C linking failed\n" + OS.Process.exit OS.Process.failure else () end fun compile job = case run toChecknest job of - NONE => print "Ur compilation failed\n" + NONE => OS.Process.exit OS.Process.failure | SOME file => let val job = valOf (run (transform parseUrp "parseUrp") job) -- cgit v1.2.3