summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 12:51:58 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 12:51:58 -0400
commit46c36cb682c91bbfad52b35c68d8332757c2bbce (patch)
tree3599d5672572f8ea6183822d20a5285ebd23f38e /src
parent726ec9075caf849329f0415f151c40620482c2ac (diff)
Print a message on Laconic compilation failure
Diffstat (limited to 'src')
-rw-r--r--src/compiler.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml
index 156c8bb9..7ef8b646 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -350,7 +350,7 @@ fun testCjrize job =
fun compile job =
case cjrize job of
- NONE => ()
+ NONE => print "Laconic compilation failed\n"
| SOME file =>
let
val cname = "/tmp/lacweb.c"