summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2021-04-15 14:24:55 +0000
committermidipix <writeonce@midipix.org>2021-04-15 14:26:08 +0000
commitdcbb083fe8f92b15adbfc49079cbf12f6fa8151b (patch)
tree5962dea13aef6ed55ebada0c31802c6d22f50521
parentef3f55c481430db45fd2a1d062df5b54b61a62ef (diff)
downloadmdso-dcbb083fe8f92b15adbfc49079cbf12f6fa8151b.tar.bz2
mdso-dcbb083fe8f92b15adbfc49079cbf12f6fa8151b.tar.xz
build system: configure: require $mb_package to be set (in config.project).
-rwxr-xr-xconfigure13
1 files changed, 10 insertions, 3 deletions
diff --git a/configure b/configure
index 7c51b56..5dff097 100755
--- a/configure
+++ b/configure
@@ -170,9 +170,16 @@ init_vars()
# config.project
if [ -z "$mb_config" ]; then
- . $mb_project_dir/config.project
- else
- . "$mb_config"
+ mb_config="$mb_project_dir/config.project"
+ fi
+
+ . "$mb_config"
+
+ # package
+ if [ -z "$mb_package" ]; then
+ error_msg "$mb_script: incomplete information in $mb_config."
+ error_msg "$mb_script: \$mb_package not set."
+ exit 1
fi
# srcinfo