summaryrefslogtreecommitdiff
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:10 +0000
commit7029ccb03ab604e4ec6cf70cdaab05b54661b545 (patch)
tree21321d76bd18721ebd1f3307aedb80bab116ef43
parent8c2b3bc049d75de284e0d009514189a2890c0d49 (diff)
downloadsbpython3-7029ccb03ab604e4ec6cf70cdaab05b54661b545.tar.bz2
sbpython3-7029ccb03ab604e4ec6cf70cdaab05b54661b545.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