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 | 20cee8f861ad2337c9f7692b952e4dd735772e07 (patch) | |
| tree | 17fafdb6ea3e44de2b18c702298b40b8ae21284c | |
| parent | fb563e3081bc2c6019792fcf789feb473146cef1 (diff) | |
| download | w32lib-20cee8f861ad2337c9f7692b952e4dd735772e07.tar.bz2 w32lib-20cee8f861ad2337c9f7692b952e4dd735772e07.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 |