From 277740df16498bc06a0af44080cec5557ba4a978 Mon Sep 17 00:00:00 2001 From: Viktor Szakats Date: Thu, 30 Jul 2026 11:36:56 +0200 Subject: [PATCH] Revert "cmakeopts.sh tidy up regex" This reverts commit 8762fbd72a91944967e168e8a0e13d8db79adacb. Skip. --- scripts/cmakeopts.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/cmakeopts.sh b/scripts/cmakeopts.sh index e9bc2e7016..a58e086b4c 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