diff options
author | midipix <writeonce@midipix.org> | 2024-02-03 20:02:52 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2024-02-03 20:07:45 +0000 |
commit | 5bb82d073fe7be544ad9548505c68e222cf3c8e9 (patch) | |
tree | 46f007e12bbeeaa6dadf0abd037adff2839ff971 | |
parent | 48277147bc9761db3ee0d0deec7c3cdc86e2e445 (diff) | |
download | u16ports-5bb82d073fe7be544ad9548505c68e222cf3c8e9.tar.bz2 u16ports-5bb82d073fe7be544ad9548505c68e222cf3c8e9.tar.xz |
build system: usage(): handle lack of a of project-specific cfgdefs.usage.
-rwxr-xr-x | configure | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -33,7 +33,12 @@ usage() " ___________________________________________" \ "__________________________________" - cat "$mb_project_dir"/project/config/cfgdefs.usage + if [ -f "$mb_project_dir"/project/config/cfgdefs.usage ]; then + cat "$mb_project_dir"/project/config/cfgdefs.usage + else + printf '%s\n\n' \ + "[ info: this project does not provide a project-specific cfgdefs.usage file. ]" + fi fi exit 0 |