From 8762fbd72a91944967e168e8a0e13d8db79adacb Mon Sep 17 00:00:00 2001
From: Viktor Szakats <commit@vsz.me>
Date: Mon, 27 Jul 2026 10:44:58 +0200
Subject: [PATCH] cmakeopts.sh tidy up regex

---
 scripts/cmakeopts.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/cmakeopts.sh b/scripts/cmakeopts.sh
index a58e086b4c..e9bc2e7016 100755
--- a/scripts/cmakeopts.sh
+++ b/scripts/cmakeopts.sh
@@ -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