From 55b1de961489f99723288e162f9d3a062d593368 Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Mon, 13 Jun 2016 18:40:11 +0300 Subject: Fix includes and update deheader ci script. --- tools/ci/jobs/deheader2.sh | 3 +++ 1 file changed, 3 insertions(+) (limited to 'tools') diff --git a/tools/ci/jobs/deheader2.sh b/tools/ci/jobs/deheader2.sh index 94cf60cbe..f355760ad 100755 --- a/tools/ci/jobs/deheader2.sh +++ b/tools/ci/jobs/deheader2.sh @@ -19,6 +19,9 @@ grep "deheader:" ${LOGFILE} \ | grep -v "deheader: remove from ./src/utils/files.cpp" \ | grep -v "deheader: remove from ./src/resources/map/map.cpp" \ | grep -v "deheader: remove from ./src/resources/wallpaper.cpp" \ +| grep -v "deheader: remove from ./src/net/sdltcpnet.cpp" \ +| grep -v "deheader: remove from ./src/net/sdltcpnet.cpp" \ +| grep -v "deheader: remove from ./src/net/sdltcpnet.cpp" \ | grep -v "deheader: remove from ./src/units.cpp" > ${LOGFILE2} export DATA=$(cat ${LOGFILE2}) -- cgit v1.2.3-70-g09d2