Update __init__.py

rivet-lang · Nov 10, 2023 · 915039b · 915039b
1 parent 6652c17
commit 915039b
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/rivetc/src/__init__.py b/rivetc/src/__init__.py
@@ -57,8 +57,6 @@ def __init__(self, args):
         self.checker = checker.Checker(self)
         self.codegen = codegen.Codegen(self)
 
-        self.exit_code = 0
-
     def import_modules(self):
         for sf in self.parsed_files:
             for decl in sf.decls:
@@ -147,8 +145,6 @@ def run(self):
                 self.codegen.gen_source_files(self.source_files)
                 if report.ERRORS > 0:
                     self.abort()
-            if self.exit_code != 0:
-                exit(self.exit_code)
 
     def load_root_module(self):
         if path.isdir(self.prefs.input):