Revert "cmakeopts.sh tidy up regex"

This reverts commit 8762fbd72a.

Skip.
This commit is contained in:
Viktor Szakats 2026-07-30 11:36:56 +02:00
parent c6d2cb99c6
commit 277740df16
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