From 11ba6752a70045231ca33f0e6d0c5556067f2a12 Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Wed, 11 Jul 2018 03:11:01 +0300 Subject: Exclude header doctest.h from deheader. --- tools/ci/scripts/deheaderS.sh | 1 + 1 file changed, 1 insertion(+) (limited to 'tools/ci/scripts/deheaderS.sh') diff --git a/tools/ci/scripts/deheaderS.sh b/tools/ci/scripts/deheaderS.sh index 6618859f6..c97e5a1da 100755 --- a/tools/ci/scripts/deheaderS.sh +++ b/tools/ci/scripts/deheaderS.sh @@ -39,4 +39,5 @@ grep -v "deheader: remove from ./src/net/sdltcpnet.cpp" | \ grep -v "deheader: remove from ./src/resources/db/unitsdb.cpp" | \ grep -v "portability requires" | \ grep -v "SDL2_rotozoom.cpp" | \ +grep -v "doctest.h" | \ tee -a ${LOGFILE} -- cgit v1.2.3-60-g2f50