Mercurial > urweb
changeset 1044:0d916892e39e
Exit code of 1 on compilation failure
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Wed, 25 Nov 2009 08:38:12 -0500 (2009-11-25) |
parents | d73cf02427df |
children | 36efaf119b85 |
files | src/compiler.sml tests/bad.ur tests/bad.urp |
diffstat | 3 files changed, 6 insertions(+), 3 deletions(-) [+] |
line wrap: on
line diff
--- a/src/compiler.sml Tue Nov 24 09:48:28 2009 -0500 +++ b/src/compiler.sml Wed Nov 25 08:38:12 2009 -0500 @@ -928,16 +928,16 @@ 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)