commit 212c870539162fc62c49b91403e663d5b27ac95e
Author: Pavel Sanda <[email protected]>
Date: Wed May 21 23:04:51 2025 +0200
fix header_check.sh condition
---
development/tools/header_check.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/development/tools/header_check.sh
b/development/tools/header_check.sh
index c83cbacf08..ce65595e58 100755
--- a/development/tools/header_check.sh
+++ b/development/tools/header_check.sh
@@ -133,7 +133,7 @@ do
cp "${FILE_COPY}" "${FILE_}"
done
-if [ -e ../development/tools/header_check-filter_candidates.sh ];
+if [ -e ../development/tools/header_check-filter_candidates.sh ]; then
echo Filtering suitable candidates from .cpp list...
../development/tools/header_check-filter_candidates.sh >> "${LOG_FILE}"
fi
--
lyx-cvs mailing list
[email protected]
https://lists.lyx.org/mailman/listinfo/lyx-cvs
