cmakeopts.sh tidy up regex

This commit is contained in:
Viktor Szakats 2026-07-27 10:44:58 +02:00
parent bb1391feb2
commit 8762fbd72a
No known key found for this signature in database

View file

@ -11,7 +11,7 @@ cd -- "$(dirname "$0")"/..
anyerr=0
while read -r opt; do
if ! grep -q -F -- "- \`$opt\`: " docs/INSTALL-CMAKE.md; then
if ! grep -q -F "^- \`$opt\`: " docs/INSTALL-CMAKE.md; then
echo "CMake option missing from documentation: '$opt'"
anyerr=1
fi