diff options
-rwxr-xr-x | scripts/check-config | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/scripts/check-config b/scripts/check-config index 58a1a3f1..55d5467a 100755 --- a/scripts/check-config +++ b/scripts/check-config @@ -22,14 +22,17 @@ import sys -import os +import json import defaults print("Checking build configuration") -if not os.path.exists(defaults.BUILD_CONFIG): - print("Build config does not exist") +try: + with open(defaults.BUILD_CONFIG, 'r') as f: + build_config = json.load(f) +except: + print("Build config does not exist or is not a valid JSON file") print("Please run the ./configure script and try again") sys.exit(1) |