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:09 +0000
commitb73d49ea34889bd2410f94dfa5f6a9287db07eb7 (patch)
tree1071ca82669020246b020a2a31bd691404d8b313
parent4e30a5d5996d55b4a2aaa9d09ed526bb3d68ff98 (diff)
downloadmmglue-b73d49ea34889bd2410f94dfa5f6a9287db07eb7.tar.bz2
mmglue-b73d49ea34889bd2410f94dfa5f6a9287db07eb7.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