summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2024-02-03 20:02:52 +0000
committermidipix <writeonce@midipix.org>2024-02-03 20:07:44 +0000
commitda7c28da659d77b03af3932f48c1dc0b68065c1c (patch)
treeadd66fcd631eb6c94e5aa4f276cb2a85b41c3dd0 /configure
parent4523da1480b5f40a6d77adf2af479c8598a5efdf (diff)
downloadmdso-da7c28da659d77b03af3932f48c1dc0b68065c1c.tar.bz2
mdso-da7c28da659d77b03af3932f48c1dc0b68065c1c.tar.xz
build system: usage(): handle lack of a of project-specific cfgdefs.usage.
Diffstat (limited to 'configure')
-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