diff options
author | midipix <writeonce@midipix.org> | 2021-04-15 14:24:55 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2021-04-15 14:26:08 +0000 |
commit | dcbb083fe8f92b15adbfc49079cbf12f6fa8151b (patch) | |
tree | 5962dea13aef6ed55ebada0c31802c6d22f50521 | |
parent | ef3f55c481430db45fd2a1d062df5b54b61a62ef (diff) | |
download | mdso-dcbb083fe8f92b15adbfc49079cbf12f6fa8151b.tar.bz2 mdso-dcbb083fe8f92b15adbfc49079cbf12f6fa8151b.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 |