diff options
author | midipix <writeonce@midipix.org> | 2021-04-15 14:24:55 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2021-04-15 14:26:09 +0000 |
commit | b73d49ea34889bd2410f94dfa5f6a9287db07eb7 (patch) | |
tree | 1071ca82669020246b020a2a31bd691404d8b313 | |
parent | 4e30a5d5996d55b4a2aaa9d09ed526bb3d68ff98 (diff) | |
download | mmglue-b73d49ea34889bd2410f94dfa5f6a9287db07eb7.tar.bz2 mmglue-b73d49ea34889bd2410f94dfa5f6a9287db07eb7.tar.xz |
build system: configure: require $mb_package to be set (in config.project).
-rwxr-xr-x | configure | 13 |
1 files changed, 10 insertions, 3 deletions
@@ -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 |