From 8e561ed471518c426c59f210f5ea07d4f178cbe5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 30 Mar 2019 17:42:13 -0400
Subject: Ensure compilation fails even if the only problem is a missing source
 file

---
 src/compiler.sml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/compiler.sml b/src/compiler.sml
index aad5ce8c..0aba3a40 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -1200,6 +1200,7 @@ val parse = {
                                                        else
                                                            ();
                                                        ErrorMsg.error ("Missing source file: " ^ fname);
+                                                       anyErrors := true;
                                                        (Source.DSequence "", ErrorMsg.dummySpan))
 
                   val dsFfi = map parseFfi ffi
-- 
cgit v1.2.3