diff options
author | midipix <writeonce@midipix.org> | 2021-04-15 14:24:55 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2021-04-15 14:26:11 +0000 |
commit | 10399dfd601575861a84aba7fbdca113fee8b1a5 (patch) | |
tree | 4d1da4e8af13298337dd78cd9bc2c7704ea675d7 | |
parent | 0c7b86628cc5a0053e1b6f7419010765db8f4da0 (diff) | |
download | u16ports-10399dfd601575861a84aba7fbdca113fee8b1a5.tar.bz2 u16ports-10399dfd601575861a84aba7fbdca113fee8b1a5.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 |