Comment.

diff --git a/development/tools/header_check.sh b/development/tools/header_check.sh
index 88fec324b9c2fd200b45d70ad1cf6edcfbb4189a..ebf0eab5cc2c3b3a4902e62996f48cef5e30f9cd 100644 (file)
--- a/development/tools/header_check.sh
+++ b/development/tools/header_check.sh
@@ -30,6 +30,10 @@ LOG_FILE="$(basename $0).log"
 
 # Exclude common headers with regex
 # (e.g. 'debug.h' will exclude 'support/debug.h')
+# LyX was compiled on exotic environments and these sometimes
+# require headers not needed on win/linux. So check the logs before
+# deleting "redundant" standard libraries or includes around various
+# ifdefs...
 EXCLUDE='\(debug.h\|cstdio\)'
 
 function BUILD_FN ()