1 files changed, 7 insertions, 0 deletions
diff --git a/src/utility.js b/src/utility.js
index 19444675..b67e6c21 100644
--- a/src/utility.js
+++ b/src/utility.js
@@ -85,6 +85,13 @@ function warnOnce(a, msg) {
   }
 }
 
+var abortExecution = false;
+
+function error(msg) {
+  abortExecution = true;
+  printErr('Error: ' + msg);
+}
+
 function dedup(items, ident) {
   var seen = {};
   if (ident) {