summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2024-02-03 20:02:52 +0000
committermidipix <writeonce@midipix.org>2024-02-03 20:02:52 +0000
commit9339019a434f3b62000c85935d5771f240d24b81 (patch)
tree84d323209983af170b914393d5c0614f3e61b9aa
parent63fb6977adac03bce63d635e0d9364df65fc21aa (diff)
downloadsofort-9339019a434f3b62000c85935d5771f240d24b81.tar.bz2
sofort-9339019a434f3b62000c85935d5771f240d24b81.tar.xz
build system: usage(): handle lack of a of project-specific cfgdefs.usage.
-rwxr-xr-xconfigure7
1 files changed, 6 insertions, 1 deletions
diff --git a/configure b/configure
index 8641815..a89de3e 100755
--- a/configure
+++ b/configure
@@ -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