1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/util.py b/scripts/util.py
new file mode 100644
index 00000000..740d4ccc
--- /dev/null
+++ b/scripts/util.py
@@ -0,0 +1,10 @@
+import sys
+import os
+
+import defaults
+
+def check_build_config():
+    if not os.path.exists(defaults.BUILD_CONFIG):
+        print("Build config file ({file}) does not exist".format(file=defaults.BUILD_CONFIG))
+        print("If you are running this script by hand, you should better not. Run 'make iso' instead.")
+        sys.exit(1)