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 | 23bfaa7f549f5a54a19d30bdef304b9a5966081a (patch) | |
tree | c8c18023ac2e7b22525ef7485e8bc631f1489cdc /configure | |
parent | 515f33bd7eaaf4e3dada862f447cb437aefed9f7 (diff) | |
download | w32lib-23bfaa7f549f5a54a19d30bdef304b9a5966081a.tar.bz2 w32lib-23bfaa7f549f5a54a19d30bdef304b9a5966081a.tar.xz |
build system: configure: require $mb_package to be set (in config.project).
Diffstat (limited to 'configure')
-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 |