commit 0348d38c4508043cd144fc6887b6812773fb52b7
Author: Pavel Sanda <sa...@lyx.org>
Date: Thu Apr 3 23:02:13 2025 +0200
* header_check.sh - comment only
---
development/tools/header_check.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/development/tools/header_check.sh
b/development/tools/header_check.sh
index 90285a6e53..1af2076345 100755
--- a/development/tools/header_check.sh
+++ b/development/tools/header_check.sh
@@ -2,6 +2,9 @@
# Syntax: header_check.sh [output_log_file]
#
# Typical usage: cd src; ../development/tools/header_check.sh
../development/tools/header_check.sh.log
+#
+# The tree needs to be configured. ./configure --disable-debug
--disable-optimization
+# looks ~1/3 faster than -g -O2 alternatives.
# file header_check.sh
# This file is part of LyX, the document processor.
--
lyx-cvs mailing list
lyx-cvs@lists.lyx.org
https://lists.lyx.org/mailman/listinfo/lyx-cvs
