diff options
Diffstat (limited to 'scripts/check-config')
-rwxr-xr-x | scripts/check-config | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/check-config b/scripts/check-config new file mode 100755 index 00000000..3949869b --- /dev/null +++ b/scripts/check-config @@ -0,0 +1,14 @@ +#!/usr/bin/env python + +import sys +import os + +import defaults + + +print("Checking build configuration") + +if not os.path.exists(defaults.BUILD_CONFIG): + print("Build config does not exist") + print("Please run the ./configure script and try again") + sys.exit(1) |