From 9d478d55872e570bd781124e5dc85a4c303d99dd Mon Sep 17 00:00:00 2001 From: Pavel Sanda Date: Fri, 3 May 2013 21:45:59 -0700 Subject: [PATCH] Comment. --- development/tools/header_check.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/development/tools/header_check.sh b/development/tools/header_check.sh index 88fec324b9..ebf0eab5cc 100644 --- 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 ()